Geeks
flupe
/
generics
Primary Language
Agda
MIT License
MIT
generics GitHub
Markdown
Readme
7
Issues
21
Stargazers
3
Watchers
Watchers
cfcs
#nolibc movement
flupe
TU Delft
jhcloos