Re: [Haskell-cafe] packaging a cgi binary using cabal

Hello list, Thanks for all suggestions. If you're interested, I've uploaded a first version of the theorem prover to hackagedb (tableaux-0.1). Best regards, Pedro