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
http://www.haskell.org/mailman/li
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
wrote:
> Hi,
>
> Am Donnerstag, den 23.09.
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 wrote:
> >
> > In case of such research programs, where ease of installability is
> > usually more important than performance, I just include the data files
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.
On Wed, Sep 22, 2010 at 7:53 AM, Pedro Baltazar Vasconcelos
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. In particula
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 serve