CHANGELOG.md

1.0.1

• Support GHC-8.6.5..GHC-9.10.1

1

• Rewrite the library to contain a shim of recent base Data.Type.Equality module.

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.