Dependent Types packages
Showing projects tagged as Data, Type, and Dependent Types
-
type-equality
6.6 2.5 HaskellHaskell definition of type equality, coercion/cast and other operations.
Showing projects tagged as Data, Type, and Dependent Types