[Agda] case...lambda

Sergei Meshveliani mechvel at botik.ru
Tue Nov 26 17:40:05 CET 2013


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



More information about the Agda mailing list