12 Oct
2011
12 Oct
'11
5:24 p.m.
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-P... Benedict