All Versions
5
Latest Version
Avg Release Cycle
-
Latest Release
-
Changelog History
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.