3 ms·
According to the definition of a tuple above, a 1-tuple <a> is λx. x a. So <a> is a function that applies its argument to a.
by tromp 1y ago
According to the definition of a tuple above, a 1-tuple <a> is λx. x a.
So <a> is a function that applies its argument to a.