All Versions
5
Latest Version
Avg Release Cycle
-
Latest Release
-

Changelog History

  • v0.1.2 Changes

    • Add subst2. Thanks to James Koppel.
  • v0.1.1 Changes

    • Turn on PolyKinds for GHC >= 7.6. Thanks to Ben Franksen.
  • v0.1.0 Changes

    • Initial version.
  • v0.1.0.2 Changes

    • Move 'Build-depends' to 'Library' section. Thanks to Brent Yorgey.
  • v0.1.0.1 Changes

    • Added EqT instance for (:=:)
    • Removed 'cast' as synonym for 'coerce'.
    • Show and read instances for (:=:).
    • Lots of small changes.