Giters

asajeffrey / finite-dtypes

Thoughts on finite dependent types

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

finite-dtypes

License: CC BY 4.0

Thoughts on finite dependent types.

About

Thoughts on finite dependent types

Languages

Language:TeX 77.9%Language:Agda 22.1%