lean / keywords
108 entries at this level
- fakaho_decl_doc add_decl_doc
- nyinaa all
- ne and
- atwerɛsɛm Array
- hwɛsɛ assert
- si_so_dua_nnyɛ_exists assert_not_exists
- si_so_dua_nnyɛ_imported assert_not_imported
- anisɔhwɛ async
- su attribute
- suban behavior
- gyinaebi Bool
- baanu both
- bubu break
- denam by
- twitwa catch
- nsɛnkyerɛnne char
- nhyehyeede Char
- kuw class
- twa compare
- kɔ_so continue
- declare_syntax_ɔkra declare_syntax_cat
- decreasing_denam decreasing_by
- deɛ_ɛwɔ_hɔ_nhwɛsoɔ default_instance
- deprecated_fa deprecated_module
- yɛ_no do
- docs_kɔ_verso docs_to_verso
- elab_nhyehyɛeɛ elab_rules
- anaa else
- awiei end
- awiei_ɛha_ara_ntɛmu end_local_scope
- pɛ Eq
- mfomso error
- nhwɛsoɔ example
- fa_kɔ export
- toa_so extends
- mfomso failure
- nkontompo false
- daakye finally
- nomerofafiri Float
- ma for
- firi from
- anigyeɛ fun
- nhwɛsoɔ get
- nhyehyɛe HashMap
- mpɔtam HashSet
- wɔ have
- sɛ if
- fa_bra import
- wɔ_mu in
- nhwɛsoɔ instance
- int Int
- ɛnyɛ pɛpɛɛpɛ invalid
- tenten length
- ma let
- ma_delayed let_delayed
- ma_expr let_expr
- ma_anigyeɛ let_fun
- ma_tmp let_tmp
- atwerɛsɛm List
- ɛha_ara local
- macro_nhyehyɛeɛ macro_rules
- hyia match
- hyia_expr match_expr
- kɛseɛ max
- ketewa min
- fafiri mod
- fa module
- baanusɛm mutual
- din name
- daabi_nkyerɛkyerɛmu no_index
- hwee none
- bue open
- anaasɛ or
- kokoam private
- nsɛnkyerɛnne Prod
- badwam public
- register_mfomso_nkyerɛmu register_error_explanation
- register_tactic_ahyɛnsoɔ register_tactic_tag
- san_ma return
- ɔfa section
- kuw_ɔpɛ set_option
- show_asɛmfua_elab show_term_elab
- firi since
- tenten size
- kafra sorry
- nkyerekyeremu String
- nhyehyɛeɛ structure
- ahyɛnsodeɛ symbol
- tactic_ntrɛmu tactic_extension
- tactic_din tactic_name
- tactic_ahyɛnsoɔ tactic_tag
- asɛde Task
- asɛmfua term
- termination_denam termination_by
- enneɛ then
- tow throw
- nokware true
- hwɛ try
- byte UInt8
- ɛmfiri Unit
- nnim unknown
- kɔpem until
- pɛpɛɛpɛ valid
- deɛ_sesa variable
- ɛhe where
- mmerɛ while
- ne with
- ne_mrɛ_namespace with_weak_namespace