Twitter Feed
@bascule ("Tony “Abolish ICE” Arcieri 🦀") wrote:
The trichotomy-is-dichotomy of the SKI combinator calculus has boggled my mind since I first discovered it
In reply to:
@bascule ("Tony “Abolish ICE” Arcieri 🦀") replied to a tweet by adumont:
@adumont It’s one of the most minimal forms of the untyped lambda calculus, composed of three functions, but actually two because one can be composed from the other two