lean / keywords
145 entries at this level
- tambah_decl_doktor add_decl_doc
- semua all
- dan and
- tatasusunan Array
- tegaskan assert
- tegas_bukan_exists assert_not_exists
- tegas_bukan_imported assert_not_imported
- async
- atribut attribute
- aksiom axiom
- adab behavior
- pengikat_memaklumkan binder_predicate
- boolean Bool
- kedua both
- pecah break
- oleh by
- tangkap catch
- aksara char
- aksara Char
- kelas class
- banding compare
- teruskan continue
- dbg_melacak dbg_trace
- memaklumkan_sintaksis_benci declare_syntax_cat
- decreasing_oleh decreasing_by
- lalai_menerangkan default_instance
- bergantung dependent
- deprecated_modul deprecated_module
- deprecated_sintaksis deprecated_syntax
- buat do
- docs_ke_verso docs_to_verso
- lain else
- tamat end
- tamat_tempatan_skop end_local_scope
- berpadanan eq
- sama Eq
- ralat error
- latihan example
- terduga expected
- eksport export
- membeberkan expose
- melanjutkan extends
- gagal failure
- palsu false
- akhirnya finally
- float Float
- untuk for
- daripada from
- keriangan fun
- melariskan generalize
- indeks get
- kamus HashMap
- set HashSet
- ada have
- penyembunyian hiding
- jika if
- makna import
- dalam in
- meliputi include
- lekuk indentation
- induktif inductive
- induktif_fixpoint inductive_fixpoint
- masuk infix
- menerangkan instance
- int Int
- pendahuluan intro
- tak sah invalid
- bimbingan_parser leading_parser
- panjang length
- ada let
- ada_lambat let_delayed
- ada_expr let_expr
- ada_keriangan let_fun
- ada_tmp let_tmp
- senarai List
- tempatan local
- makro macro
- makro_rules macro_rules
- padan match
- padan_expr match_expr
- maksimum max
- minimum min
- baki mod
- modul module
- maksud motive
- nama name
- tidak_indeks no_index
- kosong none
- nota notation
- angka numeral
- cuai omit
- legap opaque
- buka open
- atau or
- pecahan partial
- pecahan_fixpoint partial_fixpoint
- awalan prefix
- pendahuluan prelude
- peribadi private
- tuple Prod
- awam public
- recommended_ejaan recommended_spelling
- membaca_ralat_keterangan register_error_explanation
- membaca_parser_alias register_parser_alias
- membaca_cara_tag register_tactic_tag
- berulang repeat
- pulang return
- sains scientific
- pemotongan section
- tetapkan_pemilihan set_option
- pameran show
- pameran_mengistilahkan_elab show_term_elab
- saiz size
- kelalaian skip
- menderita sorry
- mengahlikan specialize
- rentetan String
- struktur structural
- menstrukturkan structure
- lambang symbol
- sintaksis syntax
- cara tactic
- cara_alt tactic_alt
- cara_kelanjutan tactic_extension
- cara_nama tactic_name
- cara_tag tactic_tag
- tugas Task
- mengistilahkan term
- keputusan_oleh termination_by
- jadi then
- dalil theorem
- lontar throw
- nominal token
- benar true
- cuba try
- bait UInt8
- hampa Unit
- buana universe
- membebaskan_limits unlock_limits
- rawan unsafe
- sah valid
- pemboleh_ubah variable
- sementara while
- dengan with
- dengan_lemah_namespace with_weak_namespace