[Agda] Lambda

[Samuel Bronson]

On Wed, Jun 18, 2008 at 9:54 AM, Lennart Augustsson
<lennart at augustsson.net> wrote:
> 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.

Or... say you were formalizing a variant of lambda calculus?