5 ms·
I wonder if this is related to the shortest one combinator basis being λx λy λz. x z (y (λ_. z)), whose type is (a -> b -> c) -> ((d -> a) -> b) -> a -> c.
by tromp 5y ago
I wonder if this is related to the shortest one combinator basis being λx λy λz. x z (y (λ_. z)), whose type is
(a -> b -> c) -> ((d -> a) -> b) -> a -> c.