search

mwleeds / epigram

Automatically exported from code.google.com/p/epigram
0 stars 0 forks source link

Split and funny lambda for sigma types #21

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
This come up from an IRC discussion (5-6 June).

Right now, we use "con" to split Sigma. "con" is used all over the place,
so Peter suggested we use "split" instead. It would have exactly the same
role, but a more useful name.

Then, instead of "con \ x y -> ... : Sig ( A ; B ) -> ...", it would really
be cool to have a "funny lambda": \ [ x , y ] -> ...

That's all Display artefact, how difficult can it be? :-)

Original issue reported on code.google.com by pedag...@gmail.com on 5 Jun 2010 at 11:40