Geeks
jyp
/
ParamTT
A parametric type-theory
Primary Language
TeX
ParamTT GitHub
Markdown
Readme
0
Issues
0
Stargazers
9
Watchers
ParamTT
A parametric type-theory