[mercury-users] Implementing Edison in Mercury

[Peter Ross]

On Mon, Sep 18, 2000 at 07:19:29AM -0700, Ralph Becket wrote:
> I've just had a look at Chris Okasaki's "An Overview of Edison"
> (http://www.cs.columbia.edu/~cdo/papers.html) - a library of
> functional data structures.
> 
> Edison seems to have a pretty sensible typeclass hierarchy for
> sequences, collections and maps.  It occurs to me that this
> would make a good start for v2 of the library.  Any thoughts?
> 
I agree, has anyone had a look at the Quickcheck tool mentioned in the
paper?
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------