Geeks
Gradual-Typing
/
Reversible-Hypercoercions
Useful in mutable references.
Primary Language
Agda
Reversible-Hypercoercions GitHub
Markdown
Readme
0
Issues
0
Stargazers
4
Watchers
Reversible-Hypercoercions
Useful in mutable references.