For the curious ones, this is a cool page that presents the basics of lambda calculus: https://learnxinyminutes.com/docs/lambda-calculus/ https://learnxinyminut

For the curious ones, this is a cool page that presents the basics of lambda calculus: https://learnxinyminutes.com/docs/lambda-calculus/ https://learnxinyminutes.com/docs/lambda-calculus/ Absolutely impressive project !