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

Changelog History
Page 3

  • v0.1.1 Changes

    • Define attached destructor for Product datatype
    • Define empty destructor for Stack structure
    • Replace flip on ? type operator
    • ✂ Remove type parameter from Stack type synonymous
    • Split structure and value in Nonempty type family
    • Define Invariant instance for Constant datatype
    • ✂ Remove all Invariant methods except invmap
    • Extract Junction module from Basis