finite-dtypes

Thoughts on finite dependent types.

Name		Name	Last commit message	Last commit date
Latest commit History 30 Commits
.gitignore		.gitignore
ACM-Reference-Format.bst		ACM-Reference-Format.bst
README.md		README.md
acmart.cls		acmart.cls
cc-by-88x31.png		cc-by-88x31.png
finite-dtypes.bib		finite-dtypes.bib
finite-dtypes.lagda		finite-dtypes.lagda
finite-dtypes.pdf		finite-dtypes.pdf
finite-dtypes.sty		finite-dtypes.sty
prelude.agda		prelude.agda

Provide feedback