lean / keywords
110 entries at this level
- tāpiri_decl_doc add_decl_doc
- tāꞌato'a all
- ꞌe and
- raura'a Array
- fāaoti assert
- haꞌapāpū_eꞌita_exists assert_not_exists
- haꞌapāpū_eꞌita_imported assert_not_imported
- asineta async
- fa'aro'i attribute
- fa'ahorohorotia behavior
- boolean Bool
- piti both
- ꞌofati break
- nā by
- hīnaaro catch
- māmā char
- char Char
- papa class
- faʻatahi compare
- ha'ere continue
- dbg_ōpū'upū dbg_trace
- declare_syntax_pōpōne declare_syntax_cat
- decreasing_nā decreasing_by
- matau_faaora default_instance
- deprecated_tuꞌahaꞌa deprecated_module
- rave do
- docs_i_verso docs_to_verso
- elab_ture elab_rules
- rē else
- hopeꞌa end
- hopeꞌa_fenua_ꞌāreꞌa end_local_scope
- tiaʻi Eq
- hape error
- tū'ā'āhuru example
- fa'ato'atoa expected
- hō'ē'ē export
- fa'atupu expose
- hape failure
- parau hape false
- hopea finally
- float Float
- no for
- nō from
- amaru fun
- tuha'ara'a get
- fa'aotira'a HashMap
- apo'ora'a HashSet
- roa'a have
- ahiri if
- tāpū'ia import
- ite include
- faaora instance
- int Int
- tano ore invalid
- roa'a length
- faʻahoro let
- faʻahoro_ho'iho'i'a let_delayed
- faʻahoro_expr let_expr
- faʻahoro_amaru let_fun
- faʻahoro_tmp let_tmp
- raura'a List
- fenua local
- macro_ture macro_rules
- tuꞌati match
- tuꞌati_expr match_expr
- rahi max
- iti min
- toe mod
- tuꞌahaꞌa module
- tā'ō'a'ō mutual
- iꞌoa name
- ꞌaita_tāpaꞌo no_index
- rahu none
- ꞌĭriti open
- huna private
- tahi'ora'a Prod
- ꞌātea public
- fa'atumu_spelling recommended_spelling
- rēhiti_hape_tuha'a'āra'a register_error_explanation
- rēhiti_parser_alias register_parser_alias
- rēhiti_tactic_tag register_tactic_tag
- ta'ata'a repeat
- hoꞌi return
- tupu section
- tuꞌu_ture set_option
- parau show
- parau_‘ōmārama_elab show_term_elab
- nō since
- roa'a size
- ta'ati'ati skip
- string String
- pārahurahu structure
- tohu symbol
- tactic_fa'a'ite'a tactic_extension
- tactic_iꞌoa tactic_name
- ohipa Task
- ‘ōmārama term
- termination_nā termination_by
- tārehu throw
- parau mau true
- tāmau try
- byte UInt8
- atea Unit
- a'o'ore unknown
- aore unless
- tano valid
- tāui variable
- a while
- e with
- e_mahana_namespace with_weak_namespace