Changelog for type-equality-0.1.2If this renders badly as markdown, see the plain text version
- 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.