Geeks
Blaisorblade
/
Agda-playground
My Agda experiments
Primary Language
Agda
Agda-playground GitHub
Markdown
Readme
0
Issues
12
Stargazers
3
Watchers
Watchers
Blaisorblade
Bedrock Systems Inc.
eemailme
jhcloos