[Haskell] Transformation of boolean formulas

[Dominik Luecke]

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