This library defines a propositional equality data type,
Data.Type.Equality as well as possible for older GHCs (< 7.8).
data a :~: b where Refl :: a :~: a
:~~: equality, for
- Rewrite the library to contain a shim of recent
- Add subst2. Thanks to James Koppel.
- Turn on PolyKinds for GHC >= 7.6. Thanks to Ben Franksen.
- Move ‘Build-depends’ to ‘Library’ section. Thanks to Brent Yorgey.
- Added EqT instance for (:=:)
- Removed ‘cast’ as synonym for ‘coerce’.
- Show and read instances for (:=:).
- Lots of small changes.
- Initial version.