lean / keywords
76 entries at this level
- tāpiri_decl_doc add_decl_doc
- katoa all
- me and
- raupapa Array
- tūtohu assert
- tūtohu_kāore_exists assert_not_exists
- tūtohu_kāore_imported assert_not_imported
- tairitenga async
- pūkeka Bool
- wāwāhi break
- mā by
- hopukina catch
- pū char
- pūāhua Char
- karaehe class
- whakatairite compare
- declare_syntax_ŋeru declare_syntax_cat
- decreasing_mā decreasing_by
- taunoa_instance default_instance
- deprecated_kōwae deprecated_module
- mahi do
- docs_ki_verso docs_to_verso
- rānei else
- mutu end
- mutu_ā-rohe_whānui end_local_scope
- ōrite Eq
- hapa error
- toro extends
- hapa failure
- hē false
- aparānga finally
- taiheke Float
- mō for
- mai from
- tūnga get
- mahere HashMap
- huinga HashSet
- mēnā if
- tau Int
- koremana invalid
- roa length
- raupapa List
- ā-rohe local
- ōrite match
- ōrite_expr match_expr
- nunui max
- itiiti min
- toenga mod
- kōwae module
- ingoa name
- kāo_taupū no_index
- kore none
- huaki open
- rānei or
- muna private
- rarangi Prod
- tūmatanui public
- register_hapa_explanation register_error_explanation
- whakahoki return
- huinga_option set_option
- tohu show
- tohu_term_elab show_term_elab
- roa size
- kuputuhi String
- tactic_ingoa tactic_name
- mahi Task
- termination_mā termination_by
- maka throw
- pono true
- whakamātau try
- byte UInt8
- āpōkore Unit
- whaimana valid
- taurangi variable
- me with
- me_ŋoikore_namespace with_weak_namespace