« Changelog History


pandora v0.1.1 Release Notes

    • 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