Issues
- 5
Support Agda 2.6.2 & standard-library 1.7
#9 opened by turion - 1
Needs update for standard library 1.5
#7 opened by turion - 0
Update to standard library 1.4
#5 opened by turion - 2
Various issues in `Generic.Function.Lookup`
#4 opened by alexarice - 3
What's the license?
#3 opened by turion - 6
Does not compile with Agda 2.5.2
#1 opened by JoeyEremondi - 2
"Set π != Set" when compiling
#2 opened by JoeyEremondi