Labels

• 2ltt

  Issues related to two-level type theory
• abstract

  Issues relating to abstract blocks
• absurd clauses

  Absurd patterns, absurd extended lambdas, absurd clauses in definitions
• Agda loops

  Non-termination of Agda (e.g. type-checker loops)
• agda-bisect

  Bug concerning the agda-bisect tool (not in changelog)
• agda-mode

  Issues relating to the Emacs agda2-mode
• agent discussion

  Experiments, insights etc. informing the LLM/agent discussion
• aim

  Issue/PR stemming from AIM (Agda Implementor's Meeting)
• allow-unsolved-metas

  Issues relating to allow-unsolved-metas
• ambiguous-constructors

  Issues to do with constructor disambiguation
• ambiguous-names

  Issues to do with reporting of name ambiguity
• anti-unification

  Issues to do with the anti-unification approximation in the conversion checker
• api

  Agda as a library
• as-patterns

  Issues to do with x@y patterns
• auto

  Issues to do with the Auto proof search (Mimer, Agsy)
• backend: dot

  Graphviz/DOT graph generation backend
• backend: forester
• backend: ghc

  Haskell code generation backend ("MAlonzo")
• backend: html

  HTML generation backend
• backend: js

  JavaScript generation backend
• backend: latex

  LaTeX generation backend
• backend: typst
• backends
• big terms

  Concerning problems with big terms (unresponsiveness, lack of sharing, out of memory etc.)
• bikeshedding

  Discussion about keywords and names for things.
• bit-rot

  Functionality broken by refactorings etc.
• brew

  Concerns installation on Mac OS X using homebrew
• bug or feature?

  It may be a bug, it may be a feature.
• bug-tracker

  (not in changelog)
• bugfix-sprint-candidate