free-algebra 0.1.0

Types for constructing free algebras over sets.
Documentation