Geeks
kcsmnt0
/
quotient
quotient types in cubical Agda
Primary Language
Agda
MIT License
MIT
quotient GitHub
Markdown
Readme
0
Issues
22
Stargazers
2
Watchers
Watchers
jhcloos
jonsterling
University of Cambridge