Changelog for free-algebras-0.0.3.0
Changelog for free-algebras
Version 0.0.3.0
- Breaking change: changed proofs in FreeAlgebra and FreeAlgebra1 class; now
using
FreeAlgebra
andFreeAlgebra1
classes let us deduce an adjunction. - Monadicity example
Version 0.0.2.0
- Simplified
Proof
type.