Geeks
m0davis
/
scratch
Primary Language
Agda
GNU Affero General Public License v3.0
AGPL-3.0
scratch GitHub
Markdown
Readme
1
Issue
0
Stargazers
2
Watchers
Watchers
jhcloos
m0davis