issues
search
flupe
/
generics
MIT License
21
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Does not build with standard library 2.0
#11
turion
closed
1 day ago
4
using this style of generic programming in other languages
#10
GunpowderGuy
opened
1 year ago
2
Have a telescope encoding that accounts for dependencies
#9
flupe
opened
1 year ago
0
Improve support for universe-polymorphism
#8
flupe
opened
1 year ago
0
Everything.agda does not build (with standard library 1.7.1?)
#7
turion
closed
2 days ago
5
README.agda does not build (with standard library 1.7.1?)
#6
turion
closed
2 days ago
2
Consider adding a license & making a release
#5
turion
closed
2 years ago
3
Refactorings + test case for computational behaviour of eliminator
#4
jespercockx
closed
2 years ago
0
Refactorings
#3
jespercockx
closed
2 years ago
1
[ refactor ] using a universe to clean up show's constraints
#2
gallais
closed
1 year ago
1
Make RelValue into a function instead of a datatype
#1
jespercockx
closed
3 years ago
0