FileSize | 6516 |
MD5 | DFDA98E051AB4C2641724335221FE035 |
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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libghc-type-equality-dev |
PackageSection | haskell |
PackageVersion | 1-2build1 |
SHA-1 | 84762C51D9CE75A26DA486A0C55A05A6121C2A53 |
SHA-256 | A803B15891F16CB3131D5C848AA87E6BB177E5B9CE1535E3039818C4471F1830 |