Skip to content

No labels!

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

duplicate
duplicate
This issue or pull request already exists
error report
error report
generalization
generalization
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
highlighter
highlighter
Faithful one
hits
hits
Higher inductive types
implicit arguments
implicit arguments
invalid
invalid
This doesn't seem right
java
java
Related to Java or JDK
level solver
level solver
library
library
literate
literate
low-hanging fruit
low-hanging fruit
mcbride universe
mcbride universe
Some very crude stratification
meta variables
meta variables
metaprogramming
metaprogramming
native
native
performance
performance
positivity
positivity
pretty print
pretty print
primitives
primitives
prop
prop
Universe of propositions
question
question
Further information is requested
records
records