[Agda] Lambda

Bengt Nordstrom bengt at chalmers.se
Wed Jun 18 09:47:00 CEST 2008


Don't mind, as long as it is easy to input and easy to remember. Like  
inputting -> for function arrow.

Bengt
On 18 jun 2008, at 07.42, Lennart Augustsson wrote:

> 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
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda



More information about the Agda mailing list