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
- @joey@types.pl
Highlights
- Pro
Search results
0 open and 0 closed projects found.-
There aren't any projects yet


