lean / keywords
98 entries at this level
- boole_decl_doc add_decl_doc
- ñépp all
- ak and
- sukkandu Array
- seeteel assert
- assert_du_exists assert_not_exists
- assert_du_imported assert_not_imported
- async
- moomeel attribute
- doxale behavior
- booleen Bool
- tëj break
- ci by
- jëfandikoo catch
- soxor Char
- kalaallisut class
- jëfandikoo compare
- wéy continue
- declare_syntax_muur declare_syntax_cat
- decreasing_ci decreasing_by
- default_misaal default_instance
- def do
- docs_ci_verso docs_to_verso
- lu-dul else
- mujj end
- mujj_local_dayoo end_local_scope
- noppiku Eq
- njëkk error
- miliyong example
- xaar expected
- fësal expose
- yokk extends
- dëgël failure
- njumte false
- taxaw finally
- float Float
- ngir for
- ci from
- po fun
- liggéey get
- bokk HashMap
- mbooloo HashSet
- am have
- su if
- ci in
- duggal include
- misaal instance
- int Int
- jubadi invalid
- jël length
- bàyyi let
- bàyyi_ràndal let_delayed
- bàyyi_expr let_expr
- bàyyi_po let_fun
- bàyyi_tmp let_tmp
- sukkandu List
- séy match
- séy_expr match_expr
- mag max
- ndaw min
- mod
- tur name
- déedéet_index no_index
- amul none
- ubbi open
- walla or
- diine Prod
- digal_spelling recommended_spelling
- bindu_njumte_leeral register_error_explanation
- bindu_parser_alias register_parser_alias
- bindu_tactic_màndarga register_tactic_tag
- bamtuwaat repeat
- delloo return
- pàcc section
- jumtukaay_tànneef set_option
- show_anam_elab show_term_elab
- jël size
- romb skip
- tekki String
- tabax structure
- màndarga symbol
- tactic_yokk tactic_extension
- tactic_tur tactic_name
- tactic_màndarga tactic_tag
- liggéey Task
- anam term
- termination_ci termination_by
- jox throw
- dëgg true
- essai try
- byte UInt8
- dara Unit
- ba until
- jub valid
- fan where
- li-ngeen while
- ak with
- ak_weak_namespace with_weak_namespace