Hi,
Am Mittwoch, den 22.09.2010, 15:53 +0100 schrieb Pedro Baltazar
Vasconcelos:
I wrote a simple interactive tableaux theorem prover as a cgi in
Haskell (http://www.ncc.up.pt/~pbv/cgi/tableaux.cgi) and would like
to submit to hackage but need some advice on how to package it using
cabal. In
Hi,
Am Donnerstag, den 23.09.2010, 11:19 +0100 schrieb Pedro Baltazar
Vasconcelos:
On Thu, 23 Sep 2010 10:44:17 +0200
Joachim Breitner m...@joachim-breitner.de wrote:
In case of such research programs, where ease of installability is
usually more important than performance, I just
Well, if you want you might use images inline as well:
http://en.wikipedia.org/wiki/Data_URI_scheme#Advantages
From my experience, this is supported by all major browser, including IE.
Regards,
~dsouza
On Thu, Sep 23, 2010 at 9:03 AM, Joachim Breitner
m...@joachim-breitner.dewrote:
Hi,
Am
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
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
I wrote a simple interactive tableaux theorem prover as a cgi in
Haskell (http://www.ncc.up.pt/~pbv/cgi/tableaux.cgi) and would like
to submit to hackage but need some advice on how to package it using
cabal. In particular, the binary, CSS and bitmap files need to be
installed under the web
On Wed, Sep 22, 2010 at 7:53 AM, Pedro Baltazar Vasconcelos
p...@dcc.fc.up.pt wrote:
I wrote a simple interactive tableaux theorem prover as a cgi in
Haskell (http://www.ncc.up.pt/~pbv/cgi/tableaux.cgi) and would like
to submit to hackage but need some advice on how to package it using
cabal.