search

mietek / epigram2

Mirror of Epigram 2, by Conor McBride, et al.
https://code.google.com/p/epigram
MIT License
47 stars 7 forks source link

Split and funny lambda for sigma types #21

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 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