Geeks
cmcmA20
/
scope-graph
Scope graphs with modern Agda
Primary Language
Agda
scope-graph GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
No issues in this repository yet.