lean / keywords
113 entries at this level
- ongera_decl_doc add_decl_doc
- vyose all
- kandi and
- urutonde Array
- emeza assert
- emeza_nta_exists assert_not_exists
- emeza_nta_imported assert_not_imported
- async
- imero attribute
- inyifato behavior
- ikibool Bool
- vyompi both
- hagarika break
- na by
- fata catch
- ikidodo char
- inyuguti Char
- ishure class
- gereranya compare
- bandanya continue
- dbg_urukurikirane dbg_trace
- declare_syntax_imbwa declare_syntax_cat
- decreasing_na decreasing_by
- ibisanzwe_akarorero default_instance
- kora do
- docs_ku_verso docs_to_verso
- elab_amategeko elab_rules
- atari else
- iherezo end
- iherezo_local_ingingo end_local_scope
- ringana Eq
- ikosa error
- akarorero example
- vyitezwe expected
- kugurisha export
- kwerekana expose
- nanirwa failure
- siko false
- rangiza finally
- ikinomerodufu Float
- kuri for
- kuva from
- bigyoshe fun
- inomero get
- imbonerahamwe HashMap
- rusangi HashSet
- kugira have
- niba if
- kwinjiza import
- muri in
- harimwo include
- akarorero instance
- int Int
- bidafise ishingiro invalid
- uburebure length
- reka let
- reka_biratevye let_delayed
- reka_expr let_expr
- reka_bigyoshe let_fun
- reka_tmp let_tmp
- urutonde List
- macro_amategeko macro_rules
- guhura match
- guhura_expr match_expr
- ntaruta max
- ntarucye min
- insigasiga mod
- mugen mutual
- izina name
- oya_index no_index
- ubusa none
- ugurura open
- canke or
- umwirondoro private
- isinganwe Prod
- abanyagihugu public
- inama_spelling recommended_spelling
- igitabo_ikosa_ubusobanuro register_error_explanation
- igitabo_parser_alias register_parser_alias
- igitabo_tactic_agakarata register_tactic_tag
- gusubiramwo repeat
- garukana return
- igice section
- igitegwa_ubugyo set_option
- kwerekana show
- kwerekana_ikiringo_elab show_term_elab
- kuva since
- uburebure size
- kurenga skip
- mumbabarire sorry
- umunyororo String
- ishusho structure
- ikimenyetso symbol
- tactic_kwongereza tactic_extension
- tactic_izina tactic_name
- tactic_agakarata tactic_tag
- akazi Task
- ikiringo term
- termination_na termination_by
- none then
- tanga throw
- nyakuri true
- gerageza try
- byte UInt8
- idoma Unit
- atazwi unknown
- kiretse unless
- gushika until
- bifise ishingiro valid
- hehe where
- igihe while
- hamwe with
- hamwe_weak_namespace with_weak_namespace