lean / keywords
62 entries at this level
- yapxaña_decl_doc add_decl_doc
- taqi all
- ukhamaraki and
- jakhuña Array
- chekacha assert
- assert_jani_exists assert_not_exists
- assert_jani_imported assert_not_imported
- nayraqatjama async
- jilataki Bool
- pˀaki-ɲa break
- ukata by
- hapini catch
- parlachi Char
- tuqintaña compare
- sarantaña continue
- declare_syntax_pʰisi declare_syntax_cat
- decreasing_ukata decreasing_by
- luraña do
- docs_uka_verso docs_to_verso
- tukuya end
- tukuya_local_scope end_local_scope
- tuqita Eq
- pantawi error
- pantawi failure
- false
- tukuyawi finally
- phinkhu Float
- ukata from
- nayraqataña get
- taypirana HashMap
- wajchaña HashSet
- pat Int
- invalid
- jutkaña length
- jakaña List
- pʰuspʰuru match
- pʰuspʰuru_expr match_expr
- mayt'arir max
- pisirir min
- surpiri mod
- suti name
- jani_index no_index
- janiwa none
- jist'araña open
- -ča or
- phuqaña Prod
- register_pantja_explanation register_error_explanation
- uɲačtˀaya-ɲa show
- uɲačtˀaya-ɲa_term_elab show_term_elab
- jutkaña size
- parla String
- tactic_suti tactic_name
- lurawi Task
- termination_ukata termination_by
- chutawi throw
- true
- muruwi try
- byte UInt8
- ch'usa Unit
- valid
- ukampi with
- ukampi_lʸaytʰa_namespace with_weak_namespace