quickspec-2.2: examples/Bools.hs

-- Testing functions on booleans. "not x" is used as a condition.
import QuickSpec

main = quickSpec [
  predicate "not" not,
  con "True" True,
  con "False" False,
  con "||" (||),
  con "&&" (&&) ]