[Agda] Re: Lambda

[Lennart Augustsson]

Wow, using Unicode with Alex is massively ugly!
I thought making my suggested change would be trivial, but I was mistaken.

On Tue, Jun 17, 2008 at 11:42 PM, Lennart Augustsson
<lennart at augustsson.net> wrote:
> I'd like a nice looking lambda in Agda.  How about allowing U+22CB as lambda?
> Likewise, I'd like something nicer than -> for the function arrow, how
> about U+2192?
>
>  -- Lennart
>