Let's Write a Lambda Calculus in F#

The lambda calculus is an amazingly powerful and simple mathematical model. Let's write a programming language interpreter for the simple, untyped lambda calculus in F# a language built upon the lambda calculus. Wikipedia on Lambda Calculus: https://en.wikipedia.org/wiki/Lambda_calculus Excellent, short tutorial intro to Lambda Calculus: http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf Book on Lambda Calculus: https://www.amazon.com/Introduction-Functional-Programming-Calculus-Mathematics/dp/0486478831/ref=sr_1_1?ie=UTF8&qid=1505454535&sr=8-1&keywords=lambda+calculus+dover The F# code from this video: https://gist.github.com/mjgpy3/547db15b0a0b67e8ad3f49421e07b25d Original Haskell presentation slides and code: https://github.com/mjgpy3/presentations/tree/master/lambda_calc_in_haskell