Geeks
sergei-romanenko
/
agda-miscellanea
Experiments with Agda
Primary Language
Agda
agda-miscellanea GitHub
Markdown
Readme
0
Issues
5
Stargazers
3
Watchers
Watchers
sergei-romanenko
Moscow, Russia
jhcloos
dkrustev