Equational derivations of the Y combinator and Church encodings in Pythonmatt.might.net11 pointsjohndcook12 years ago