boolean-normal-forms (hackage): The provided types that might be useful in symbolic manipulation of propositional logic expressions.
Keywords: data|library|mit