lean / keywords
106 entries at this level
- yapay_decl_doc add_decl_doc
- llapan all
- chaymanta and
- hilata Array
- cheqaptay assert
- sut'ichay_mana_exists assert_not_exists
- sut'ichay_mana_imported assert_not_imported
- manasuyaspa async
- kapuynin attribute
- comportamiento behavior
- iskaynimi Bool
- iskaynin both
- p'akiy break
- wan by
- hapiy catch
- sanaycha Char
- ayllu class
- tupay compare
- qatiy continue
- dbg_yupi dbg_trace
- declare_syntax_misi declare_syntax_cat
- decreasing_wan decreasing_by
- ñawpaqchasqa_kutipana default_instance
- ruray do
- docs_man_verso docs_to_verso
- elab_kamachiykuna elab_rules
- mana else
- tukuy end
- tukuy_kaylla_aypasqan end_local_scope
- kikiy Eq
- pantay error
- qatina example
- suyasqa expected
- qawachiy expose
- mast'ay extends
- pantay failure
- mana chiqa false
- tukuypim finally
- puririyniy Float
- manta from
- qatiq fun
- yupaynin get
- tupanakuy HashMap
- sapaqkuna HashSet
- sichus if
- yaykuchimuy import
- ukhupi in
- winasqa include
- kutipana instance
- huntaniy Int
- mana chanin invalid
- tupuy length
- uyay let
- uyay_unayasqa let_delayed
- uyay_expr let_expr
- uyay_qatiq let_fun
- uyay_tmp let_tmp
- hilata List
- kaylla local
- macro_kamachiykuna macro_rules
- tupachiy match
- tupachiy_expr match_expr
- aswanlla max
- pisilla min
- puchuy mod
- kikin mutual
- suti name
- mana_indice no_index
- mana none
- kichay open
- icha or
- sapanchasqa private
- kamachiyuq Prod
- runapaq public
- kunasqa_spelling recommended_spelling
- qillqachakuy_pantay_willay register_error_explanation
- qillqachakuy_parser_alias register_parser_alias
- qillqachakuy_tactic_sutichaq register_tactic_tag
- kutipay repeat
- kutichiy return
- ruwana section
- churay_akllanapaq set_option
- qawachiy show
- qawachiy_kamachiy_elab show_term_elab
- tupuy size
- paway skip
- llakikunim sorry
- rimaysiqi String
- estructura structure
- unancha symbol
- tactic_mastariy tactic_extension
- tactic_suti tactic_name
- tactic_sutichaq tactic_tag
- rurakuy Task
- kamachiy term
- termination_wan termination_by
- chaynaqa then
- wichay throw
- chiqa true
- watukuy try
- byte UInt8
- ch'usaq Unit
- chanin valid
- maypi where
- wan with
- wan_unpu_namespace with_weak_namespace