Geeks
liesnikov
/
agda-core
EVERYTHING HERE IS SUBJECT TO BE MODIFIED AT ANY TIME
Primary Language
Agda
The Unlicense
Unlicense
agda-core GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
EVERYTHING HERE IS SUBJECT TO BE MODIFIED AT ANY TIME