[Haskell-cafe] packaging a cgi binary using cabal
Pedro Baltazar Vasconcelos
pbv at dcc.fc.up.pt
Thu Sep 23 10:38:28 EDT 2010
Thanks for all suggestions. If you're interested, I've uploaded a first
version of the theorem prover to hackagedb (tableaux-0.1).
More information about the Haskell-Cafe