lean / keywords
81 entries at this level
- adio_decl_doc add_decl_doc
- pob all
- a and
- arae Array
- haeru assert
- haeru_nid_exists assert_not_exists
- haeru_nid_imported assert_not_imported
- asyncronaidd async
- booliaidd Bool
- torri break
- gan by
- dal catch
- nod char
- nod Char
- dosbarth class
- cymharu compare
- parhau continue
- declare_syntax_cath declare_syntax_cat
- decreasing_gan decreasing_by
- rhagosodyn_instance default_instance
- deprecated_modiwl deprecated_module
- gwneud do
- docs_i_verso docs_to_verso
- arall else
- diwedd end
- diwedd_lleol_cwmpas end_local_scope
- hafal Eq
- gwall error
- allforio export
- estyn extends
- methiant failure
- gau false
- terfyn finally
- float Float
- am for
- o from
- mynegai get
- map HashMap
- set HashSet
- os if
- mewnforio import
- yn in
- int Int
- annilys invalid
- hyd length
- rhestr List
- lleol local
- cydweddu match
- cydweddu_expr match_expr
- mwyaf max
- lleiaf min
- modwlo mod
- modiwl module
- enw name
- na_mynegai no_index
- dim none
- agor open
- neu or
- preifat private
- twpl Prod
- cyhoeddus public
- register_gwall_explanation register_error_explanation
- dychwelyd return
- gosod_option set_option
- dangos show
- dangos_term_elab show_term_elab
- hyd size
- llinyn String
- tactic_enw tactic_name
- tasg Task
- termination_gan termination_by
- taflu throw
- gwir true
- trio try
- beit UInt8
- gwag Unit
- dilys valid
- newidyn variable
- tra while
- gyda with
- gyda_gwan_namespace with_weak_namespace