[Agda] Re: Syntax for anonymous functions [Re: AIM XIII code sprints]

[Stefan Monnier]

> Can you please remind me why the "->" does not work instead of "=".

"->" is consistent with the current \lambda, but "=" is consistent with
the top-level definitions.  Your "merge record and function" drift seems
to be arguing for the use of "=" rather than "->" since it makes it
closer to top-level definitions.



        Stefan