[Haskell] WASH-Problem was Re: Haskell users survey--please
respond!
Tomasz Zielonka
tomasz.zielonka at gmail.com
Wed Nov 9 05:28:03 EST 2005
On Wed, Nov 09, 2005 at 11:21:02AM +0100, Christian Maeder wrote:
> I've no idea and could not reproduce the bug. Our program is at
> http://www.informatik.uni-bremen.de/cgi-bin/cgiwrap/luettich/hets.cgi
>
> Enter i.e "sort s" or "spec S = {}" as specification.
I did and I saw a screen with a reference to the Hets Manual, but
no other links, buttons, etc.
> The tools list is extended automatically, after a response? There is an
> odd entry "Parsec, HOpenGL"
Someone hasn't read the instructions :-)
BTW, is there a way to update my entry? I forgot to mention one of the
best tools I use - Parsec :-(
Best regards
Tomasz
More information about the Haskell
mailing list