[freyrs3]

Yeah you can do the full lambda calculus in Python:

https://raw.github.com/sdiehl/church-numbers/master/church.p...