j
k
j a
j l
\ x y -> f (g x) (h y) [...] f $. g ~> h ~> id
I keep help wonder: other than a "5 chars", what is it we have gained? Stefan
Back to the thread
Back to the list