Geeks
ziman
/
excomp
A certified compiler of exceptions from my thesis (Agda)
Primary Language
JavaScript
excomp GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
ziman