Geeks
pavponn
/
type-theory
Type Theory Course, ITMO University, 2019.
Primary Language
Haskell
MIT License
MIT
type-theory GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
ebigram