FileSize | 9912 |
MD5 | 8BCEEAAD06F76DA7EF89DC6FAE18509C |
PackageDescription | Data.Type.Equality compat package
This library defines a propositional equality data type,
shims Data.Type.Equality.
.
The module Data.Type.Equality.Hetero shims :~~: equality, for
compilers with PolyKinds.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell. |
PackageMaintainer | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
PackageName | libghc-type-equality-dev |
PackageSection | haskell |
PackageVersion | 1-2+b1 |
SHA-1 | 332E716AE7960090EF8652389152A120A7FBB4E4 |
SHA-256 | 42EAC96BDB13945A21EE206F3E025012C21A19813DD06842C779AACBD32E2D38 |