> with only a single combinator called Iota iota is just the pair of S and K: λp.p S K = λp.p (λxλyλz. x z (y z)) (λxλy. x) The simplest possible single point

> with only a single combinator called Iota iota is just the pair of S and K: λp.p S K = λp.p (λxλyλz. x z (y z)) (λxλy. x) The simplest possible single point combinator basis (in terms of size in bits) is this slight variant of S: A = λxλyλz. x z (y (λ_.z)) Writing S and K in terms of A is an interesting challenge, requiring more than 10 As each...