Labels

• agda

  agda

  Agda-specific issues or type-checking

• avm:instruction-set

  avm:instruction-set

  Issues related to the instruction set

• avm:interpreter

  avm:interpreter

  Issues related to interpreter semantics

• avm:objects

  avm:objects

  Issues related to object model

• avm:runtime

  avm:runtime

  Issues related to runtime environment

• bug

  bug

  Something isn't working

• ci

  ci

  CI/build system issues

• dependencies

  dependencies

  Dependency updates

• documentation

  documentation

  Improvements or additions to documentation

• enhancement

  enhancement

  New feature or request

• formal-spec

  formal-spec

  Formal specification work

• foundation

  foundation

  Issues in foundation/core libraries

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• mkdocs

  mkdocs

  MkDocs documentation build

• priority:high

  priority:high

  High priority

• priority:low

  priority:low

  Low priority

• priority:medium

  priority:medium

  Medium priority

• proof

  proof

  Proof development or verification

• question

  question

  Further information is requested

• refactor

  refactor

  Code refactoring

• research

  research

  Research-related discussions

• status:blocked

  status:blocked

  Blocked by dependencies

• status:in-progress

  status:in-progress

  Work in progress

• status:needs-review

  status:needs-review

  Needs review