« Changelog History


type-equality v0.1.0.1 Release Notes

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