Selected Tags
Click on a tag to remove itMore Tags
Click on a tag to add it and filter downData packages
Showing projects tagged as Dependent Types and Data
-
dependent-sum
9.3 4.3 HaskellDependent sums and supporting typeclasses for comparing and displaying them -
reflection
9.3 5.0 HaskellReifies arbitrary Haskell terms into types that can be reflected back into terms -
typeparams
7.8 0.0 HaskellLens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation -
type-equality
6.6 2.5 HaskellHaskell definition of type equality, coercion/cast and other operations.