« Changelog History


Free Algebras v0.0.5.0 Release Notes

    • FreeAlgebra renamed proof to codom, added Proof smart constructor proof.
    • FreeAlgebra instance for Identity functor
    • 🆓 generic Free type
    • DList and FreeGroup based on DList, FreeGroupL
    • 📚 documentation on strictness / laziness improved