[Haskell] Transformation of boolean formulas

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


although I have subscribed to the Haskell mailing list, my messages are
automatically rejected when I try to send a mail to Haskell


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