« Changelog History


prim-uniq v0.2 Release Notes

Release Date: 2020-04-15 // over 4 years ago
    • ⚡️ Update for dependent-sum 0.7. (Support GHC 8.8.)
    • dependent-sum dropped the (:=) type. Use (:~:) instead.
    • 🛠 Fix a minor strictness issue (#1).