[Agda] Lambda

[Samuel Bronson]

On Wed, Jun 18, 2008 at 5:18 AM, Nils Anders Danielsson
<nils.anders.danielsson at gmail.com> wrote:

> Pros: Agda can still be used with only ASCII characters; you can try
> out the language without knowing how to input "non-standard"
> characters. (But you cannot use the standard library...)
>
> Cons: More reserved words.

I for one like to use those words... I'd be annoyed if they were
reserved. What's the point of having this nice syntax if all the best
words are taken?