[Haskell-beginners] Data structure for Propositional Logic formulas

[Benedict Eastaugh]

Hi Alex,

since Daniel has done a nice job of actually answering your questions,
I shall just note that I have a module similar to this available on
Hackage as part of my hatt package, which generates truth tables for
formulae in classical propositional logic.

http://hackage.haskell.org/package/hatt
http://hackage.haskell.org/packages/archive/hatt/1.3.0/doc/html/Data-Logic-Propositional.html

Benedict