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

Absolutely impressive project !