Assistant Prof. at the University of Regina. Interested in programming languages, dependent types, Agda, Idris, Lean, etc.
-
University of Regina
- Regina, Saskatchewan, Canada
- http://eremondi.com
- @[email protected]
Highlights
- Pro
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.