[Agda] Lambda

[Nils Anders Danielsson]

On Wed, Jun 18, 2008 at 4:14 PM, Samuel Bronson <naesten at gmail.com> wrote:

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

I have used λ when formalising lambda calculi. Still I think that the
only reasonable replacement of \ for the lambda of the meta language
is λ, since this is probably the lambda that will be written and read
most often by Agda users. For my object languages I can imagine using
something like ƛ.

-- 
/NAD