[Agda] Lambda

Lennart Augustsson lennart at augustsson.net
Wed Jun 18 15:54:15 CEST 2008


I would want the ASCII versions to still work.
And yes, I didn't pick the greek letter lambda exactly because I think
it's bad to pick that letter.
E.g., if I were doing physics programming in Agda I'd want to use
lambda for wavelengths.

BTW, I think Agda2 is awesome. :)

  -- Lennart


More information about the Agda mailing list