Ross Paterson <[EMAIL PROTECTED]> wrote,
> In 3.3, after the sin example, add:
>
> + Such a declaration asserts that the external entity is a true function,
> + i.e. when applied to the same argument values it always produces the
> + same result.
Done.
> In 5.1, change:
>
> - Furthermore, \cod
John Hughes <[EMAIL PROTECTED]> wrote,
> > If the \code{IO} computation wrapped in \code{unsafePerformIO} performs side
> > effects, then the relative order in which those side effects take place
> > (relative to the main \code{IO} trunk, or other calls to
> > \code{unsafePerformIO}) is in
In article <[EMAIL PROTECTED]>,
[EMAIL PROTECTED] (Peter G. Hancock) wrote:
> > I forget whether I've aired this on the list, but I'm seriously
> > thinking = that we should change 'forall' to 'exists' in existential
> > data constructors
>
> Thanks! It made me wonder what colour the sky is on
2003年06月06日(金)の22時53分に Alastair Reid 曰く:
> In preparation for a major release of Green Card, we are making an
> alpha release for folk to play with.
An rpm package is available from:
http://haskell.org/~petersen/rpms/greencard/
I added a ChangeLog to the above directory to make it easier for p
Announcing the release of buddha version 0.7
www.cs.mu.oz.au/~bjpop/buddha
Buddha is a declarative debugger for Haskell 98. It is based on program
transformation and relies on GHC version 5.04 or greater (but not version 6
yet). It also needs GHC's
2003年06月06日(金)の23時06分に Alastair Reid 曰く:
> In preparation for a major release of HSX11, we are making an alpha
> release for folk to play with. We welcome bug reports, comments on
> how the system is packaged, the web page, examples, comments from
> those who build binary and source packages, etc.
