lean / keywords
95 entries at this level
- yika_decl_doc add_decl_doc
- yonso all
- ye and
- mfululizo Array
- kanga assert
- assert_ve_exists assert_not_exists
- assert_ve_imported assert_not_imported
- asincrono async
- kikalulu attribute
- kikalulu behavior
- booléen Bool
- kubuka break
- na by
- ziba catch
- likansi Char
- klase class
- luka compare
- kulanda continue
- dbg_nzila dbg_trace
- declare_syntax_niawu declare_syntax_cat
- decreasing_na decreasing_by
- kifu_mbandu default_instance
- sala do
- docs_na_verso docs_to_verso
- elab_bansiku elab_rules
- nsuka end
- nsuka_local_nene end_local_scope
- fwene Eq
- somo error
- mbandu example
- vingilaka expected
- kutuba expose
- suka failure
- false
- vutuka finally
- float Float
- na from
- namba get
- lusosolo HashMap
- buntangu HashSet
- kana if
- kutendula import
- na in
- mbandu instance
- int Int
- invalid
- molayi length
- kubikala let
- kubikala_wumisaka let_delayed
- kubikala_expr let_expr
- kubikala_fun let_fun
- kubikala_tmp let_tmp
- mfululizo List
- macro_bansiku macro_rules
- kufwanana match
- kufwanana_expr match_expr
- nene max
- fioti min
- salasala mod
- kuwakana mutual
- zina name
- ve_index no_index
- kavua none
- kangula open
- to or
- nkumbu Prod
- siamisaka_spelling recommended_spelling
- register_kifu_ntendula register_error_explanation
- kuvutuila repeat
- kuvutuka return
- kitini section
- kutula_nsola set_option
- kusonga show
- kusonga_ngogo_elab show_term_elab
- banda since
- molayi size
- kupamuka skip
- lolula sorry
- mavovo String
- kidimbu symbol
- tactic_kulandana tactic_extension
- tactic_zina tactic_name
- misala Task
- ngogo term
- termination_na termination_by
- ebuna then
- bwaka throw
- true
- singa try
- byte UInt8
- mbamba Unit
- valid
- ata while
- ye with
- ye_kulemba_namespace with_weak_namespace