lean / keywords
109 entries at this level
- ida'i_decl_doc add_decl_doc
- hunda all
- fi and
- tarree Array
- mirkanessii assert
- mirkaneessi_miti_exists assert_not_exists
- mirkaneessi_miti_imported assert_not_imported
- async
- amala attribute
- amala behavior
- dhugasobaa Bool
- lachuu both
- cabsi break
- tiin by
- qabii catch
- qubee Char
- ramaddii class
- madaaluu compare
- itti_fufi continue
- declare_syntax_adurree declare_syntax_cat
- decreasing_tiin decreasing_by
- duraa_fakkeenya default_instance
- deprecated_moojuulii deprecated_module
- godhi do
- docs_gara_verso docs_to_verso
- elab_seerota elab_rules
- kanmalee else
- dhuma end
- dhuma_naannoo_naannoo end_local_scope
- walqixa Eq
- dogoggora error
- fakkeenya example
- alergii export
- saaxiluu expose
- babal'isa extends
- kufii failure
- soba false
- xumura finally
- float Float
- -f for
- irraa from
- bohaarsaa fun
- mallattoo get
- kaartaa HashMap
- garee HashSet
- qaba have
- yoo if
- galchi import
- keessa in
- fakkeenya instance
- int Int
- sirrii hin taane invalid
- hirmaata length
- haa let
- haa_harkifate let_delayed
- haa_expr let_expr
- haa_bohaarsaa let_fun
- haa_tmp let_tmp
- tarree List
- naannoo local
- macro_seerota macro_rules
- wal_simi match
- wal_simi_expr match_expr
- olguddaa max
- gadiduraa min
- hafaatii mod
- moojuulii module
- waloo mutual
- maqaa name
- lakki_indeeksii no_index
- duwwaa none
- bani open
- ykn or
- dhuunfaa private
- kuusaa Prod
- uummataa public
- galmeessuu_dogoggora_ibsa register_error_explanation
- galmeessuu_parser_alias register_parser_alias
- galmeessuu_tactic_tag register_tactic_tag
- irra-deebi'uu repeat
- deebisi return
- kutaa section
- tuuta_filannoo set_option
- agarsiisuu show
- agarsiisuu_jecha_elab show_term_elab
- erga since
- guddina size
- dhiifama sorry
- barruu String
- caasaa structure
- mallattoo symbol
- tactic_dheerachuu tactic_extension
- tactic_maqaa tactic_name
- hojii Task
- jecha term
- termination_tiin termination_by
- yommuus then
- darbii throw
- dhugaa true
- yaalii try
- byte UInt8
- homaa Unit
- hamma until
- sirrii valid
- jijjiiramaa variable
- eessa where
- yeroo while
- waliin with
- waliin_dadhabaa_namespace with_weak_namespace