Changelog for free-algebras

Version 0.0.3.0

• Breaking change: changed proofs in FreeAlgebra and FreeAlgebra1 class; now using FreeAlgebra and FreeAlgebra1 classes let us deduce an adjunction.
• Monadicity example

Version 0.0.2.0

• Simplified Proof type.

Unreleased changes