libghc-type-equality-prof - 1.0.1-1 main

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, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell.