j
k
j a
j l
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
Back to the thread
Back to the list
