[Haskell] Transformation of boolean formulas

Dominik Luecke luecke at informatik.uni-bremen.de
Mon Mar 12 11:53:31 EDT 2007

Sorry for the copy and paste error...

Neil Mitchell schrieb:
> Hi Dominik
>> although I have subscribed to the Haskell mailing list, my messages are
>> automatically rejected when I try to send a mail to Haskell
> Not anymore!
> And btw, if you want to discuss transformation of boolean formulas,
> rather than announce a package that does them, haskell-cafe is
> probably a better choice.
> Thanks
> Neil

Dominik Luecke                 Phone +49-421-218-64265
Dept. of Computer Science      Fax   +49-421-218-9864265
University of Bremen           luecke at tzi.de
P.O.Box 330440, D-28334 Bremen
PGP-Key ID 0x2D82571B

More information about the Haskell mailing list