Geeks
deyaaeldeen
/
monotonic
Monotonic References for Gradual Typing in Agda
Primary Language
Agda
monotonic GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
cyberglot
Glasgow, UK