Labels

• agda

  Agda-specific issues or type-checking
• avm:instruction-set

  Issues related to the instruction set
• avm:interpreter

  Issues related to interpreter semantics
• avm:objects

  Issues related to object model
• avm:runtime

  Issues related to runtime environment
• bug

  Something isn't working
• ci

  CI/build system issues
• dependencies

  Dependency updates
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• formal-spec

  Formal specification work
• foundation

  Issues in foundation/core libraries
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• mkdocs

  MkDocs documentation build
• priority:high

  High priority
• priority:low

  Low priority
• priority:medium

  Medium priority
• proof

  Proof development or verification
• question

  Further information is requested
• refactor

  Code refactoring
• research

  Research-related discussions
• status:blocked

  Blocked by dependencies
• status:in-progress

  Work in progress
• status:needs-review

  Needs review