Hi, all,
To Eric Allen Wohlstadter's ([EMAIL PROTECTED])
: Are there any Haskell libraries or programs related to group theory? I am
: taking a class and it seems like Haskell would be a good programming
: language for exploring/reasoning about group theory. What I had in mind
: was perhaps y
S.D.Mechveliani wrote:
>
> Hi, all,
>
> To Eric Allen Wohlstadter's
>
> : Are there any Haskell libraries or programs related to group theory?
...
> Marc van Dongen <[EMAIL PROTECTED]> writes
>
> > I think Sergey Mechveliani's docon (algebraic DOmain CONstructor)
> > has facilities for
> Hello,
>
> I'm writing my master thesis. Its subject is 'Haskell Programming
> Environment'. It is (or rather will be) an extended text editor working i=
> n
> graphical (XFree86) environment designed for Haskell programmers. It will=
> be
> implemented using Fudgets library.
> I'm wondering w
> I've been wanting to code one of these myself, but have had no time. Try and see
> if stg-hugs is useable yet since that would be a much better environment to do
> it in.
It's now called GHCi, and is being written right now by the GHC team.
Not sure when the estimated completion time is, but it
Why does the Haskell language not allow "type" declarations to appear in
the declaration parts of where and let clauses? I've just been writing a huge
functions which requires lots and lots of repetitive internal type annotations
(to disambiguate some complicated overloading) but I can't abbrev
Wed, 25 Oct 2000 22:08:55 +0200, George Russell <[EMAIL PROTECTED]> pisze:
> Why does the Haskell language not allow "type" declarations to
> appear in the declaration parts of where and let clauses?
Because you can always lift them to the top level.
--
__("< Marcin Kowalczyk * [EMAIL PROTEC
George Russell complained:
| Why does the Haskell language not allow "type"
| declarations to appear in the declaration parts of
| where and let clauses?
Marcin 'Qrczak' Kowalczyk replied:
| Because you can always lift them to the top level.
This is the ultimate non-answer.
First of all,
