On 5 Jul 2007, at 18:35, Chung-chieh Shan wrote:
[EMAIL PROTECTED] wrote in article
<[EMAIL PROTECTED]> in
gmane.comp.lang.haskell.cafe:
Conor McBride has posed an interesting problem:
implement constructors
P v for embedding pure values v
Ofor holes
f :$ a
[EMAIL PROTECTED] wrote in article <[EMAIL PROTECTED]> in
gmane.comp.lang.haskell.cafe:
> Conor McBride has posed an interesting problem:
> >implement constructors
> > P v for embedding pure values v
> > Ofor holes
> > f :$ a for application, left-associative
> >
Hi Oleg
On 5 Jul 2007, at 07:15, [EMAIL PROTECTED] wrote:
Conor McBride has posed an interesting problem:
implement constructors
P v for embedding pure values v
Ofor holes
f :$ a for application, left-associative
and an interpreting function
emmental