Geeks
asajeffrey
/
finite-dtypes
Thoughts on finite dependent types
Primary Language
TeX
finite-dtypes GitHub
Markdown
Readme
0
Issues
6
Stargazers
5
Watchers
finite-dtypes
Thoughts on finite dependent types.
