Geeks
HarrisonGrodin
/
agda-modtt
ModTT in Agda
Primary Language
Agda
agda-modtt GitHub
Markdown
Readme
0
Issues
11
Stargazers
3
Watchers
agda-modtt
ModTT in Agda