Re: [Haskell-beginners] Data structure for Propositional Logic formulas

12 Oct 2011


      On Wed, 12 Oct 2011 22:58:47 +0200, Daniel Schoepe  wrote:
...
data Formula = Literal | And .......
Sorry, that should have been:

data Formula = Lit Literal | ...