Contributions

Library
This package provides Heyting and Boolean operations together with various constructions of Heyting algebras.
Library
Free categories
Library
Universal algebra approach to free algebras including higher kinded algebraic structures like functors, applicative functors or monads.