Readme for cond-0.4.0.2
Description
A library of boolean operations, lifted in a typeclass for boolean values. Also includes:
- Lifted monadic variants of those operations.
- Hoare's conditional choice operator.
- A typeclass for boolean algebras.
See annotated documentation in code for information about individual entities.