30 Jan
2005
30 Jan
'05
7:27 a.m.
a < b < c which is a short-cut of a < b \land b < c
The confusion between f(x) and λx.f(x) is indeed a real bummer. OTOH I like the a<b<c shorthand because it's both "obvious" and unambiguous (as long as the return value of < can't be passed as an argument to <, which is typically the case when the return value is boolean and there's no ordering defined on booleans). Stefan