I wrote an implementation of the λ calculus in python as an appendix for my book https://nbviewer.jupyter.org/github/boazbk/nandnotebooks/blob/master/lambda.ipy

I wrote an implementation of the λ calculus in python as an appendix for my book https://nbviewer.jupyter.org/github/boazbk/nandnotebooks/blob/master/lambda.ipynb https://nbviewer.jupyter.org/github/boazbk/nandnotebooks/blo...