pandora v0.2.1 Release Notes

    • Generalize $ up to a method of Divariant typeclass
    • Put concrete data structures to Specific submodule
    • ๐Ÿšš Move Nonempty type family to separated module
    • Define Cartesian type class
    • ๐Ÿ“‡ Rename ? to % to use ? as boolean multi-if
    • Replace ifelse method from Setoid module
    • Convert :> to a newtype
    • ๐Ÿ“‡ Rename Composition class to Interpreted
    • ๐Ÿšš Rename Junction machinery to Joint and move it to Controlflow module
    • ๐Ÿ“‡ Rename > type operator to :=
    • Create :# type synonymous for Tagged datatype
    • โœ‚ Remove untag in favor of extract method
    • ๐Ÿ“‡ Rename Tagged constructor of Tagged to Tag