lean / keywords
80 entries at this level
- kara_decl_doc add_decl_doc
- duka all
- da and
- jeri Array
- tabbatar assert
- tabbatar_ba_exists assert_not_exists
- tabbatar_ba_imported assert_not_imported
- marasjira async
- gaskiyarya Bool
- tsaya break
- ta by
- kama catch
- harafi char
- harafi Char
- aji class
- kwatanta compare
- cigaba continue
- declare_syntax_kyanwa declare_syntax_cat
- decreasing_ta decreasing_by
- tsoho_instance default_instance
- yi do
- docs_zuwa_verso docs_to_verso
- in_ba else
- karshe end
- karshe_gida_iyaka end_local_scope
- daidai Eq
- kuskure error
- fitarwa export
- fadada extends
- gaza failure
- ƙarya false
- karshe finally
- float Float
- domin for
- daga from
- matsayi get
- taswira HashMap
- taro HashSet
- karɓa have
- idan if
- shigarwa import
- cikin in
- int Int
- maras inganci invalid
- tsawo length
- jeri List
- gida local
- dace match
- dace_expr match_expr
- babba max
- ƙarami min
- saura mod
- suna name
- a'a_fihirisa no_index
- komai none
- bude open
- ko or
- sirri private
- rukuni Prod
- jama'a public
- register_kuskure_explanation register_error_explanation
- mayar return
- saita_option set_option
- nuna show
- nuna_term_elab show_term_elab
- tsawo size
- rubutu String
- tactic_suna tactic_name
- aiki Task
- termination_ta termination_by
- jefa throw
- gaskiya true
- gwada try
- byte UInt8
- fanko Unit
- ingantacce valid
- canji variable
- yayin while
- tare with
- tare_rauni_namespace with_weak_namespace