3 ms·
λx. x S K https://en.wikipedia.org/wiki/Combinatory_logic#One-point_basis https://en.wikipedia.org/wiki/Combinatory_logic#One-point_ba...
by tromp 5y ago
λx. x S K
https://en.wikipedia.org/wiki/Combinatory_logic#One-point_basis https://en.wikipedia.org/wiki/Combinatory_logic#One-point_ba...