Labels

• bug

  Something isn't working
• builtins

  Builtin functions
• chain-interaction

  External calls and chain interaction
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• frontend

  Parsing, type-checking, modules
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• infrastructure

  Build, CI, and tooling
• invalid

  This doesn't seem right
• investigation

  Research or exploration task
• low-priority

  Lower priority items
• milestone

  Tracking issue for a major goal
• question

  Further information is requested
• refactoring

  Code refactoring or restructuring
• testing

  Test suite and testing infrastructure
• umbrella

  Parent issue tracking sub-issues
• verification

  Formal verification and safety proofs
• wontfix

  This will not be worked on