lean / keywords
117 entries at this level
- ወስኽ_decl_doc add_decl_doc
- ኩሉ all
- ን and
- ተርታ Array
- ኣረጋግጽ assert
- አረጋግጽ_ኣይኮነን_exists assert_not_exists
- አረጋግጽ_ኣይኮነን_imported assert_not_imported
- ዘይሳዓብ async
- ባህሪ attribute
- ፀባይ behavior
- ቡሊያን Bool
- ክልቲኡ both
- ስበር break
- ብ by
- ተቀበል catch
- ፊደል char
- ፊደል Char
- ክፍሊ class
- ኣወዳድሮ compare
- ቀጽል continue
- dbg_ኣሰር dbg_trace
- declare_syntax_ድሙ declare_syntax_cat
- decreasing_ብ decreasing_by
- ነባሪ_ኣብነት default_instance
- deprecated_ሞዱል deprecated_module
- ግበር do
- docs_ናብ_verso docs_to_verso
- elab_ስርዓታት elab_rules
- እንተዘይኮይኑ else
- መወዳእታ end
- መወዳእታ_ከባብያዊ_ዶብ end_local_scope
- ማዕረ Eq
- ጌጋ error
- ኣብነት example
- ዝፅበ expected
- ላኣኽ export
- ምቅላዕ expose
- ይውርስ extends
- ወደቀ failure
- ሓሶት false
- ወትሩ finally
- ተንሳኢ Float
- ንዅሉ for
- ካብ from
- ፃውቲ fun
- ቦታ get
- ካርታ HashMap
- ዓይነት HashSet
- ኣለኒ have
- እንተ if
- ኣእትው import
- ኣብ in
- ይሓውስ include
- ኣብነት instance
- ምሉእ Int
- ዘይቅቡል invalid
- ንውሓት length
- ይኹን let
- ይኹን_ዘንጊዑ let_delayed
- ይኹን_expr let_expr
- ይኹን_ፃውቲ let_fun
- ይኹን_tmp let_tmp
- ተርታ List
- ከባብያዊ local
- macro_ስርዓታት macro_rules
- ኣዛምድ match
- ኣዛምድ_expr match_expr
- ልዕለኛ max
- እዝቅተኛ min
- ተረፍ mod
- ሞዱል module
- ስም name
- ኣይፋል_መርሐ no_index
- ኣልቦ none
- ክፈት open
- ወይ or
- ብሕታዊ private
- ጉጅለ Prod
- ህዝባዊ public
- ዝምከር_spelling recommended_spelling
- ምዝገባ_ጌጋ_መግለጺ register_error_explanation
- ምዝገባ_parser_alias register_parser_alias
- ምዝገባ_tactic_ምልጣፍ register_tactic_tag
- ደገመ repeat
- ምለስ return
- ክፍሊ section
- ኣቐምጥ_መማረጺ set_option
- አርኢ show
- አርኢ_ቃል_elab show_term_elab
- ካብ since
- ንውሓት size
- ዝለል skip
- ይሓዝን sorry
- ጽሑፍ String
- ቅርፂ structure
- ምልክት symbol
- tactic_ብርሕቐት tactic_extension
- tactic_ስም tactic_name
- tactic_ምልጣፍ tactic_tag
- ዕማም Task
- ቃል term
- termination_ብ termination_by
- ሽዑ then
- ደርብ throw
- ሓቂ true
- ፈትን try
- ባይት UInt8
- ፍጹምኣልቦ Unit
- ዘይፍለጥ unknown
- እንተደኣ unless
- ክሳብ until
- ቅቡል valid
- ተተካኢ variable
- አበይ where
- ክሳብ while
- ምስ with
- ምስ_ድኹም_namespace with_weak_namespace