Geeks
xieyuheng
/
cat
A categorical semantics library in Agda.
Primary Language
Agda
GNU General Public License v3.0
GPL-3.0
cat GitHub
Markdown
Readme
0
Issues
17
Stargazers
2
Watchers
Watchers
eemailme
jhcloos