[Agda] Lambda

Nils Anders Danielsson nils.anders.danielsson at gmail.com
Wed Jun 18 14:47:27 CEST 2008


On Wed, Jun 18, 2008 at 1:26 PM, Samuel Bronson <naesten at gmail.com> wrote:
>
> 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?

Do you suggest that we should use
  a) only the ASCII variants, or
  b) only the non-ASCII variants?

-- 
/NAD


More information about the Agda mailing list