A λ-calculus interpreter by Tadeu ZagalloNote: this is a big refactor of a previous post. I was planning on making this into a series, when I realised that first I had to make some improvements to this initial post to have a better structure. Well, this is the result, and I hope you enjoy. Alternatively, the original version can be found here. I had heard about lambda calculus, but it wasn’t until recently, when I started reading Types a
