https://github.com/gtramontina/lambda/blob/master/lambda.js https://gitlab.com/cccnqu111/alg/-/blob/master/18c-lambdaCalculus/lambdaCalculus.py https://www.ics.uci.edu/~lopes/teaching/inf212W12/readings/church.pdfRead less