lean / keywords
79 entries at this level
- hoʻohui_decl_doc add_decl_doc
- āpau all
- a and
- papa Array
- paʻa assert
- hōʻoia_ʻaʻole_exists assert_not_exists
- hōʻoia_ʻaʻole_imported assert_not_imported
- hohola async
- ʻoiaʻiʻo Bool
- haki break
- e by
- hopu catch
- huapalapala char
- hua Char
- papa class
- hoʻohālikelike compare
- hoʻomau continue
- declare_syntax_pōpoki declare_syntax_cat
- decreasing_e decreasing_by
- maʻamau_instance default_instance
- deprecated_māhele deprecated_module
- hana do
- docs_i_verso docs_to_verso
- pau end
- pau_kūloko_ākea end_local_scope
- like Eq
- hewa error
- hoʻopuka export
- hoʻonui extends
- nabū failure
- hewa false
- hoʻopau finally
- float Float
- no for
- mai from
- helu get
- palapala HashMap
- ʻohi HashSet
- inā if
- hoʻokomo import
- i in
- int Int
- kūpono ʻole invalid
- loa length
- papa List
- kūloko local
- kūlike match
- kūlike_expr match_expr
- nui max
- liʻiliʻi min
- koena mod
- māhele module
- inoa name
- ʻaʻole_index no_index
- ʻole none
- wehe open
- pilikino private
- pūʻulu Prod
- lehulehu public
- register_hewa_explanation register_error_explanation
- hoʻihoʻi return
- hoʻonoho_option set_option
- hōʔike show
- hōʔike_term_elab show_term_elab
- loa size
- leka String
- tactic_inoa tactic_name
- paʻahana Task
- termination_e termination_by
- kiola throw
- ʻoiaʻiʻo true
- hoʻāʻo try
- byte UInt8
- hakahaka Unit
- kūpono valid
- hoʻololi variable
- ʻoiai while
- me with
- me_nāwali-wali_namespace with_weak_namespace