[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