Geeks
conal
/
nim
The game of Nim in Agda
Primary Language
Agda
nim GitHub
Markdown
Readme
0
Issues
4
Stargazers
2
Watchers
Watchers
conal
San Andreas, California, USA
eemailme