Geeks
HarrisonGrodin
/
intrinsic-typing
Intrinsically typed encodings of programming languages.
Primary Language
Agda
intrinsic-typing GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
intrinsic-typing
Intrinsically typed encodings of programming languages.