lean / keywords

75 entries at this level

• evry all
• array Array
• checkam assert
• async
• assign attribute
• bihavior behavior
• bool Bool
• brak break
• katch catch
• leta Char
• klass class
• compare
• kontinu continue
• dbg_trase dbg_trace
• default_instans default_instance
• abi else
• end_lokal_skope end_local_scope
• equal Eq
• wahala error
• eksampol example
• ekspet expected
• failam failure
• false
• lastlast finally
• float Float
• posin get
• map HashMap
• set HashSet
• get have
• inside in
• inklud include
• instans instance
• int Int
• invalid
• numba length
• array List
• lokal local
• matsh match
• matsh_expr match_expr
• max
• min
• modulo mod
• mushual mutual
• emiti none
• abi or
• tuple Prod
• publik public
• regista_wahala_eksplanashon register_error_explanation
• regista_parser_alias register_parser_alias
• regista_tactic_tag register_tactic_tag
• ripeat repeat
• riturn return
• sekshon section
• set_opshon set_option
• show_tam_elab show_term_elab
• sinse since
• numba size
• sori sorry
• wod String
• strukshur structure
• tactic_extenshon tactic_extension
• tasku Task
• tam term
• den then
• throway throw
• true
• traim try
• byte UInt8
• noting Unit
• onless unless
• ontil until
• valid
• wia where
• wit with
• wit_weak_namespace with_weak_namespace