[Agda] Re: Lambda

[Samuel Bronson]

On Wed, Jun 18, 2008 at 1:57 PM, Lennart Augustsson
<lennart at augustsson.net> wrote:
> Yes, lambda was easy, the others are dodgy.
>
> Maybe using Alex isn't the best alternative.

Well, it would be cool if you would figure out the necessary design
changes for Alex to support Unicode... I mean, using exclusively
hard-coded sets of characters is not a very good move with Unicode,
since e.g. new letters could have been added to Unicode since the
lexer was last generated...