Changelog for type-equality-0.1.2
0.1.2 * Add subst2. Thanks to James Koppel. 0.1.1 * Turn on PolyKinds for GHC >= 7.6. Thanks to Ben Franksen. 0.1.0.2 * Move 'Build-depends' to 'Library' section. Thanks to Brent Yorgey. 0.1.0.1 * Added EqT instance for (:=:) * Removed 'cast' as synonym for 'coerce'. * Show and read instances for (:=:). * Lots of small changes. 0.1.0 * Initial version.