lean / keywords

102 entries at this level

• যোগ_decl_doc add_decl_doc
• সব all
• আর and
• ꠄꠞꠦ Array
• 𑇘𑇃𑇛𑇒𑇒𑇛 assert
• assert_না_exists assert_not_exists
• assert_না_imported assert_not_imported
• 𑄃𑄬𑄥𑄨𑄋𑄴𑄇𑄴 async
• গুন attribute
• ব্যবহার behavior
• 𑇀𑆩𑆩𑆩 Bool
• দুয়োটাই both
• ভাঙো break
• দিয়া by
• 𑇘𑇄𑇙𑇒 catch
• 𑆖𑆳𑆫 Char
• ক্লাস class
• 𑆠𑆶𑆬𑆤𑆳 compare
• চালাও continue
• dbg_চিহ্ন dbg_trace
• declare_syntax_বিলাই declare_syntax_cat
• decreasing_দিয়া decreasing_by
• default_উদাহরণ default_instance
• করো do
• docs_থাকি_verso docs_to_verso
• elab_আইন elab_rules
• নাইলে else
• শেষ end
• শেষ_স্থানীয়_সুযোগ end_local_scope
• 𑇇𑆩𑆳𑆤 Eq
• 𑇆𑇛𑇘𑇄 error
• উদাহরণ example
• খুলা expose
• 𑇆𑇛𑇘𑇄𑇕 failure
• অসত্য false
• 𑇐𑇎𑇗𑇛𑇄 finally
• float Float
• লাগি for
• থাকি from
• ꠡꠥꠌꠤ get
• ꠝꠣꠙ HashMap
• ꠡꠦꠔ HashSet
• আছে have
• যদি if
• আমদানি import
• অ in
• উদাহরণ instance
• int Int
• অবৈধ invalid
• ꠟꠣꠝ꠆ꠛꠣ length
• ꠟꠤꠡ꠆ꠔ List
• স্থানীয় local
• macro_আইন macro_rules
• মিলাও match
• মিলাও_expr match_expr
• 𑆯𑆳𑆠𑆳 max
• 𑆕𑆶𑆠𑆳 min
• 𑇐𑇍𑇩 mod
• ফারস্ফরিক mutual
• নাম name
• না_index no_index
• ꠇꠤꠌ꠆ꠍꠥ none
• খোলো open
• বা or
• ব্যক্তিগত private
• ꠔꠥꠙ꠆ꠟ Prod
• রাইজর public
• পরামর্শ_spelling recommended_spelling
• রিজেস্টার_ভুল_ব্যাইখ্য register_error_explanation
• রিজেস্টার_parser_alias register_parser_alias
• রিজেস্টার_tactic_ট্যাগ register_tactic_tag
• ফিরাও return
• অংশ section
• set_বিকল্প 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
• byte UInt8
• ꠈꠣꠟꠤ Unit
• অজানা unknown
• যতক্ষণ until
• বৈধ valid
• কুনানো where
• যখন while
• লগে with
• লগে_দুর্বল_namespace with_weak_namespace