[Agda] case...lambda

[Daniel Peebles]

One requires defining new syntax (for limited gain, in my view?), the other
uses existing functionality.


On Tue, Nov 26, 2013 at 11:40 AM, Sergei Meshveliani <mechvel at botik.ru>wrote:

> People,
>
> I suggest        case foo of {...}
>
> as a sugar for   case foo of λ {...}.
>
> To define an algorithm, it is often not necessary to think of what is
> lambda.
>
> Regards,
>
> ------
> Sergei
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20131126/a88e21cb/attachment.html