Geeks
gallais
/
STRINaGda
Dependent Stringly-Typed Programming
Primary Language
Agda
Creative Commons Zero v1.0 Universal
CC0-1.0
STRINaGda GitHub
Markdown
Readme
0
Issues
3
Stargazers
3
Watchers
STRINaGda
Dependent Stringly-Typed Programming