Visitar URL original
Labels · agda/agda · GitHub
Skip to content

Labels

Labels

403 labels

  • 2ltt

    2ltt
    Issues related to two-level type theory

  • abstract

    abstract
    Issues relating to abstract blocks

  • absurd clauses

    absurd clauses
    Absurd patterns, absurd extended lambdas, absurd clauses in definitions

  • Agda loops

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

  • agda-bisect

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

  • agda-mode

    agda-mode
    Issues relating to the Emacs agda2-mode

  • agent discussion

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

  • aim

    aim
    Issue/PR stemming from AIM (Agda Implementor's Meeting)

  • allow-unsolved-metas

    allow-unsolved-metas
    Issues relating to allow-unsolved-metas

  • ambiguous-constructors

    ambiguous-constructors
    Issues to do with constructor disambiguation

  • ambiguous-names

    ambiguous-names
    Issues to do with reporting of name ambiguity

  • anti-unification

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

  • api

    api
    Agda as a library

  • artificial

    artificial
    Found by active search for a problem (e.g. by AI) rather than occurring in natural interaction

  • as-patterns

    as-patterns
    Issues to do with x@y patterns

  • auto

    auto
    Issues to do with the Auto proof search (Mimer, Agsy)

  • backend: dot

    backend: dot
    Graphviz/DOT graph generation backend

  • backend: forester

    backend: forester

  • backend: ghc

    backend: ghc
    Haskell code generation backend ("MAlonzo")

  • backend: html

    backend: html
    HTML generation backend

  • backend: js

    backend: js
    JavaScript generation backend

  • backend: latex

    backend: latex
    LaTeX generation backend

  • backend: typst

    backend: typst

  • backends

    backends

  • big terms

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

  • bikeshedding

    bikeshedding
    Discussion about keywords and names for things.

  • bisected

    bisected

  • bit-rot

    bit-rot
    Functionality broken by refactorings etc.

  • boundary

    boundary
    Concerning boundary constraints (cubical)

  • brew

    brew
    Concerns installation on Mac OS X using homebrew