[Agda] Lambda

Lennart Augustsson lennart at augustsson.net
Wed Jun 18 07:42:20 CEST 2008


I'd like a nice looking lambda in Agda.  How about allowing U+22CB as lambda?
Likewise, I'd like something nicer than -> for the function arrow, how
about U+2192?

  -- Lennart


More information about the Agda mailing list