[Haskell-beginners] Data structure for Propositional Logic formulas

Daniel Schoepe daniel at schoepe.org
Wed Oct 12 23:33:51 CEST 2011


On Wed, 12 Oct 2011 22:58:47 +0200, Daniel Schoepe <daniel at schoepe.org> wrote:
> data Formula = Literal | And .......

Sorry, that should have been:

data Formula = Lit Literal | ...
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 835 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/beginners/attachments/20111012/f245ab5f/attachment.pgp>


More information about the Beginners mailing list