Selected Tags
Click on a tag to remove itMore Tags
Click on a tag to add it and filter downDependent Types packages
Showing projects tagged as Type and Dependent Types
-
type-equality
6.6 2.5 HaskellHaskell definition of type equality, coercion/cast and other operations.