Equational derivations of the Y combinator and Church encodings in Python

Comments



from Hacker News http://bit.ly/1wSfWVf