Skip to content
This repository has been archived by the owner on Sep 28, 2021. It is now read-only.

No labels!

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

55 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
antlr4
antlr4
One of the parser generators
api
api
Public API
breaking
breaking
May break existing code
bug
bug
Something isn't working
build
build
The build environment of the project
cherry-pick
cherry-pick
cli
cli
concrete
concrete
Input to the typechecker
conditions
conditions
HITs
conversion check
conversion check
Definitional equality
core
core
The core language
coverage & confluence
coverage & confluence
Pattern matching
cursed thread
cursed thread
This thread is cursed
desugar
desugar
Operators, universe terms, etc.
documentation
documentation
Improvements or additions to documentation
1
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
Make the code look better
error report
error report
Telling users what's wrong
GADTs
GADTs
indexed types
generalization
generalization
Automatic insertion of parameters
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
hole
hole
Unsolved meta at following locations
implicit argument
implicit argument
inductive type
inductive type
inspections
inspections
Apply IDE inspections
invalid
invalid
This doesn't seem right
kala
kala
The third party library we're using
language server
language server
lsp
libraries
libraries
A system of libraries