The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
Newsgroups: fa.haskell
From: "Jim Apple" <jbapple+haskell-c...@gmail.com>
Date: Tue, 09 Jan 2007 02:00:57 UTC
Local: Mon, Jan 8 2007 9:00 pm
Subject: Re: [Haskell-cafe] Monad Set via GADT
On 1/3/07, Roberto Zunino <zun...@di.unipi.it> wrote:
> I tried to define a Set datatype, Also, we can do this with oleg's technique of "Restricted Data Types Now": > with the usual operations, so that it can be made a member of the > standard Monad class. http://article.gmane.org/gmane.comp.lang.haskell.prime/483 Jim You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| ||||||||||||||