3 ms·
It's not the shortest lambda term with that property though. That's λx λy λz. x z (y (λ_.z)) [1] [1] https://en.wikipedia.org/wiki/SKI_combinator_calculus http
by tromp 2y ago
It's not the shortest lambda term with that property though. That's λx λy λz. x z (y (λ_.z)) [1]
[1] https://en.wikipedia.org/wiki/SKI_combinator_calculus https://en.wikipedia.org/wiki/SKI_combinator_calculus