Geeks
d-plaindoux
/
colca
Mobile Ambient in Agda
Primary Language
Agda
MIT License
MIT
colca GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
Watchers
d-plaindoux
Toulouse, France
jhcloos