Skip to content

No labels!

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

20 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
available-in-voile
available-in-voile
Implemented in Voile
2
backends
backends
Compilation
1
bug
bug
Something isn't working
builtins
builtins
{-# BUILTIN #-}
1
discussion
discussion
Paper discussion
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
first-class split
first-class split
A part of MLPolyR
1
first-class sum
first-class sum
Another part of MLPolyR
gadts
gadts
Generalized algebraic data types
1
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
levels
levels
Universe polymorphism
1
positivity
positivity
Strict positive
1
question
question
Further information is requested
subtyping
subtyping
Polymorphism
syntactic sugar
syntactic sugar
Not a type-theoretical thing
termination
termination
Induction
1
wontfix
wontfix
This will not be worked on