Geeks
berndlosert
/
agda-base
A base library for Agda for regular programming
Primary Language
Agda
agda-base GitHub
Markdown
Readme
0
Issues
9
Stargazers
3
Watchers
Watchers
berndlosert
jhcloos
Matthew-Mosior
Austin, TX