Free Algebras v0.0.3.0 Release Notes
-
- 💥 Breaking change: changed proofs in FreeAlgebra and FreeAlgebra1 class; now
using
FreeAlgebra
andFreeAlgebra1
classes let us deduce an adjunction. - Monadicity example
- 💥 Breaking change: changed proofs in FreeAlgebra and FreeAlgebra1 class; now
using