Geeks
UlfNorell
/
quasi-quote
Quasi-quoting library for agda
Primary Language
Agda
quasi-quote GitHub
Markdown
Readme
0
Issues
16
Stargazers
3
Watchers
Watchers
UlfNorell
jhcloos
JacquesCarette
Hamilton, Ontario, Canada