Skip to content

asajeffrey/finite-dtypes

Repository files navigation

finite-dtypes

License: CC BY 4.0

Thoughts on finite dependent types.