cross-posted from: https://infosec.pub/post/747125

Lambda Calculus made fun: dive into reductions!