Geeks
yutaro-sakamoto
/
prove-monad
Primary Language
Idris
MIT License
MIT
prove-monad GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
righ1113