Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
Primary LanguageHaskellOtherNOASSERTION