Skip to content

No labels!

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

24 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
abstract
abstract
Abstract syntax
bug
bug
Something isn't working
builds
builds
CI things, testing, etc
cli
cli
Command line
2
codata
codata
Coinductive data
constructor
constructor
Create datatype instances
1
context
context
Type-checking state
decl
decl
Declaration checking
do not merge
do not merge
Created by bots, please merge locally
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
4
error message
error message
That explains something wrong
1
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
3
implicit
implicit
Implicit variables
1
infer
infer
Type inference
invalid
invalid
This doesn't seem right
1
parser
parser
Surface syntax
1
projection
projection
Eliminate codata instances
2
question
question
Further information is requested
unfold-decl
unfold-decl
Reduce global declarations
unify
unify
Nominal conversion check
wontfix
wontfix
This will not be worked on
1