Geeks
mathijsb
/
generic-in-agda
Primary Language
Agda
MIT License
MIT
generic-in-agda GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
Watchers
mathijsb
Utrecht, Netherlands
wouter-swierstra
Universiteit Utrecht