Selected Tags
Click on a tag to remove itMore Tags
Click on a tag to add it and filter downType packages
Showing projects tagged as Type
-
type-level-sets
8.8 0.0 HaskellType-level sets for Haskell (with value-level counterparts and various operations) -
type-combinators
7.2 0.0 HaskellType level lists, pairs, sums, their operations, and their properties. -
type-equality
6.6 2.5 HaskellHaskell definition of type equality, coercion/cast and other operations. -
type-level-numbers
5.0 0.0 HaskellImplementation of type level natural and signed integer numbers in haskell using type families. -
type-level-tf
4.1 0.0 HaskellType level numerics for Haskell using type families. Based on type-level.