Skip to content

No labels!

There aren’t any labels for this repository quite yet.

366 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
2ltt
2ltt
Issues related to two-level type theory
2
abstract
abstract
Issues relating to abstract blocks
5
absurd clauses
absurd clauses
Absurd patterns, absurd extended lambdas, absurd clauses in definitions
2
agda-bisect
agda-bisect
Bug concerning the agda-bisect tool (not in changelog)
3
agda-mode
agda-mode
Issues relating to the Emacs agda2-mode
14
allow-unsolved-metas
allow-unsolved-metas
Issues relating to allow-unsolved-metas
6
ambiguous-constructors
ambiguous-constructors
Issues to do with constructor disambiguation
3
ambiguous-names
ambiguous-names
Issues to do with reporting of name ambiguity
1
anti-unification
anti-unification
Issues to do with the anti-unification approximation in the conversion checker
api
api
Agda as a library
2
as-patterns
as-patterns
Issues to do with x@y patterns
2
auto
auto
Issues to do with the Auto proof search (Mimer, Agsy)
1
backend: dot
backend: dot
Graphviz/DOT graph generation backend
backend: ghc
backend: ghc
Haskell code generation backend ("MAlonzo")
30
backend: html
backend: html
HTML generation backend
15
backend: js
backend: js
JavaScript generation backend
7
backend: latex
backend: latex
LaTeX generation backend
13
backends
backends
16
big terms
big terms
Concerning problems with big terms (unresponsiveness, lack of sharing, out of memory etc.)
1
bikeshedding
bikeshedding
Discussion about keywords and names for things.
2
bit-rot
bit-rot
Functionality broken by refactorings etc.
1
brew
brew
Concerns installation on Mac OS X using homebrew
1
bug or feature?
bug or feature?
It may be a bug, it may be a feature.
5
bug-tracker
bug-tracker
(not in changelog)
1
bugfix-sprint-candidate
bugfix-sprint-candidate
4
build
build
Concerning building of Agda
build-failure
build-failure
Failures while compiling Agda itself with a specific configuration
2
builtin
builtin
Enhancements to the builtin modules and builtin definitions
10
busy-beaver
busy-beaver
Short code triggering long response times of Agda (performance exploit)
1
cabal
cabal
Build problems specifically related to cabal-install
9