« Changelog History


pandora v0.1.4 Release Notes

    • Define Jet datatype in Basis module
    • ➕ Add fail method for Conclusion datatype
    • Define find method in terms of stateful traversing
    • Define filter method for Stack datastructure
    • Define loeb method for Covariant type class
    • Define Variation datatype in Basis module
    • Define infix versions of comap with various nesting levels
    • Define infix versions of contramap with various nesting levels
    • Rename Product constructor from :* to :*:
    • Define Has and Injective type families for Product proofs