[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Sylvain Le Gall <sylvain@l...> |
| Subject: | Re: Generalized Algebraic Datatypes |
On 29-10-2010, Jacques Le Normand <rathereasy@gmail.com> wrote: > > I didn't know about this alternate syntax; can you please describe it? > cheers > --Jacques It is on page 14: http://gallium.inria.fr/~xleroy/talks/cug2008.pdf And around 14:22 in the video: http://video.google.com/videoplay?docid=1704671501085578312&hl=en# Regards Sylvain Le Gall