Geeks
jespercockx
/
scope
An agda2hs-compatible library for well-scoped syntax
Primary Language
Agda
The Unlicense
Unlicense
scope GitHub
Markdown
Readme
1
Issue
9
Stargazers
3
Watchers
Watchers
eemailme
jespercockx
TU Delft
liesnikov