Geeks
Eduardogbg
/
agda-playground
My Agda/Nix playground
Primary Language
Nix
agda-playground GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
No issues in this repository yet.