All Versions
4
Latest Version
0.2
Avg Release Cycle
1472 days
Latest Release
1637 days ago

Changelog History

  • v0.2 Changes

    April 15, 2020
    • ⚡️ Update for dependent-sum 0.7. (Support GHC 8.8.)
    • dependent-sum dropped the (:=) type. Use (:~:) instead.
    • 🛠 Fix a minor strictness issue (#1).

  • v0.1

    July 13, 2011

  • v0.1.0.2

    August 21, 2015

  • v0.1.0.1

    August 10, 2011