|
|
|
|
|
|
by tikhonj
5362 days ago
|
|
|
You can just configure your editor to figure out when \x y -> x + y is equal to λx y→x+y and replace the symbols as appropriate. I have Emacs set up to do this for Haskell, so I really have the best of both worlds (mostly): I can type the former expression but it looks like that latter. |
|
|