c4h_e6g π’(π’(π’(π’(π’(π’(π)))))) Bookmarks https://en.wikipedia.org/wiki/Church_encoding https://www.youtube.com/watch?v=FITJMJjASUs http://www.cs.cornell.edu/courses/cs3110/2008fa/recitations/rec26.html http://www.little-lisper.org/website/files/lambda-calculus-tutorial.pdf