lean / keywords
80 entries at this level
- cuir_decl_doc add_decl_doc
- gach all
- agus and
- eagar Array
- deimhnigh assert
- dearbhaigh_ní_exists assert_not_exists
- dearbhaigh_ní_imported assert_not_imported
- aisioncronach async
- Boole Bool
- bris break
- le by
- ceap catch
- carachtar char
- carachtar Char
- aicme class
- comparáid compare
- lean continue
- decreasing_le decreasing_by
- réamhshocrú_instance default_instance
- deprecated_modúl deprecated_module
- déan do
- docs_go_verso docs_to_verso
- eile else
- deireadh end
- deireadh_áitiúil_scóip end_local_scope
- cothrom Eq
- earráid error
- easpórtáil export
- leathnaíonn extends
- teip failure
- bréagach false
- críoch finally
- snámhphointe Float
- do for
- ó from
- innéacs get
- mapa HashMap
- tacar HashSet
- má if
- iompórtáil import
- i in
- slánuimhir Int
- neamhbhailí invalid
- fad length
- liosta List
- áitiúil local
- meaitseáil match
- meaitseáil_expr match_expr
- uasmhéid max
- íosmhéid min
- fuíollach mod
- modúl module
- ainm name
- níl_innéacs no_index
- neamhní none
- oscail open
- nó or
- príobháideach private
- tuple Prod
- poiblí public
- register_earráid_explanation register_error_explanation
- fill return
- tacar_option set_option
- taispeáin show
- taispeáin_term_elab show_term_elab
- méid size
- teaghrán String
- tactic_ainm tactic_name
- tasc Task
- termination_le termination_by
- caith throw
- fíor true
- triail try
- beart UInt8
- folús Unit
- bailí valid
- athróg variable
- fad while
- le with
- le_lag_namespace with_weak_namespace