[Haskell-cafe] packaging a cgi binary using cabal

[Pedro Baltazar Vasconcelos]

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