group theory. Reply

2000-10-25 Thread S.D.Mechveliani
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

Re: group theory. Reply

2000-10-25 Thread Jerzy Karczmarczuk
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

Re: Haskell Programming Environment

2000-10-25 Thread Sengan Baring-Gould
> 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

Re: Haskell Programming Environment

2000-10-25 Thread Keith Wansbrough
> 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

cpp superior to ghc . . .

2000-10-25 Thread George Russell
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

Re: cpp superior to ghc . . .

2000-10-25 Thread Marcin 'Qrczak' Kowalczyk
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

Re: cpp superior to ghc . . .

2000-10-25 Thread Koen Claessen
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,