3 ms·Equational derivations of the Y combinator and Church encodings in Python11 points by johndcook 12y ago