Johannes Waldmann <[EMAIL PROTECTED]> writes:
> > HTk, a graphical user interface toolkit and library for Haskell.
>
> what are the differences to FranTk ( http://haskell.cs.yale.edu/FranTk/ ) ?
In a nutshell, it uses a different event model. As far as I
understand, FranTk allows you to de
It is our pleasure to announce the release of
HTk, a graphical user interface toolkit and library for Haskell.
Version 0.98 (World Cup edition)
Htk is a typed, portable encapsulation of Tcl/Tk into Haskell. Its
distinctive features are the use of Haskell types and type classes
Till Mossakowski <[EMAIL PROTECTED]> writes:
> Hello,
>
> I have seen that there are several Haskell libraries
> for cgi scripts and the like. Is there also a possibiliy
> to deal with sockets and firewalls?
Yes, there's the Sockets module in the ghc library, which allows you
to do TCP and UDP
Nguyen Phan Dung <[EMAIL PROTECTED]> writes:
> Besides, if you know, would you please tell me where we can download Uniform
> Workbench?
> (I found the paper about Uniform Workbench only)
You can't download the whole of the Uniform Workbench, because we
decided to revise the subsystem which doe
Hans Aberg <[EMAIL PROTECTED]> writes:
> Exactly how is this connection between the lambda calculus and
> category theory described? -- That is, one would expect to know that
> if one has a category of some sort, it is equivalent to the lambda
> calculus, or something like that.
There is a ver
ted.
Best regards,
--Christoph.
---
Christoph LuethFB3 -- Mathematik und Informatik
Universitaet Bremen
Phone +49-421-2187585 Postfach 330440
Fax
