Selected TagsClick on a tag to remove it
Showing projects tagged as Type System and Type
type-level-sets8.8 0.0 HaskellType-level sets for Haskell (with value-level counterparts and various operations)
type-level-numbers4.9 4.2 HaskellImplementation of type level natural and signed integer numbers in haskell using type families.
type-eq4.0 0.0 HaskellType equality evidence you can carry around