lean / keywords
114 entries at this level
- ɓeydu_decl_doc add_decl_doc
- fof all
- e and
- array Array
- seeyde assert
- teŋtinu_wonaa_exists assert_not_exists
- teŋtinu_wonaa_imported assert_not_imported
- asink async
- kuɗe attribute
- gikku behavior
- goongaari Bool
- didi both
- taƴu break
- e by
- jom catch
- bataake Char
- klaas class
- tiiɗtinir compare
- jokku continue
- dbg_didugo dbg_trace
- declare_syntax_paatu declare_syntax_cat
- decreasing_e decreasing_by
- jaɓaaɗo_sapinol default_instance
- deprecated_moduul deprecated_module
- waɗu do
- docs_haa_verso docs_to_verso
- elab_tawretaji elab_rules
- feere else
- timmu end
- timmu_lowre_leydi end_local_scope
- ngenndaaki Eq
- juumre error
- sappinol example
- yaltinu export
- sappinugo expose
- fontude extends
- juumde failure
- fenaande false
- timmude finally
- limoreebal Float
- fii for
- iwde from
- fijirde fun
- index get
- map HashMap
- set HashSet
- mari have
- so if
- naɓtu import
- nder in
- be include
- sapinol instance
- int Int
- goonɗintaako invalid
- adadu length
- accugo let
- accugo_ɗayini let_delayed
- accugo_expr let_expr
- accugo_fijirde let_fun
- accugo_tmp let_tmp
- list List
- lowre local
- macro_tawretaji macro_rules
- yahdude match
- yahdude_expr match_expr
- boorinde max
- famɗinde min
- toɓɓal mod
- moduul module
- innde name
- alaa_tonngorde no_index
- hulaango none
- udditu open
- maa or
- suuɗiiɗo private
- tuple Prod
- kuuɓtodinɗo public
- feelama_spelling recommended_spelling
- winduugo_juumre_limtol register_error_explanation
- winduugo_parser_alias register_parser_alias
- winduugo_tactic_matinugo register_tactic_tag
- lornugo repeat
- ruttu return
- tairde section
- hostorde_dabare set_option
- sappinol show
- sappinol_timminol_elab show_term_elab
- diga since
- adadu size
- juwugo skip
- yaffam sorry
- daande String
- suudu structure
- mandol symbol
- tactic_yajjol tactic_extension
- tactic_innde tactic_name
- tactic_matinugo tactic_tag
- heggo Task
- timminol term
- termination_e termination_by
- nden then
- lob throw
- goonga true
- moot try
- byte UInt8
- boowaango Unit
- aanda unknown
- sna unless
- ha until
- goonɗinii valid
- waylotoonde variable
- fewndo while
- e with
- e_weak_namespace with_weak_namespace