A Lambda Calculus interpreter in Java
Alonzo is a Java software project to code a Lambda Calculus interpreter. Alongside the code lives this blog dedicated to writing and teaching about code that goes into the interpreter, and interesting coding choices.
Oct 27, 2015
Oct 24, 2015
Implementing a formatter/pretty-printer for the syntax we've defined.
Oct 23, 2015Defining the syntax of the Lambda Calculus, with a quick discussion of semantics.
Jul 26, 2015Incremental improvement: ignoring tests.
Jul 19, 2015Minimal unit testing framework, driven from the top down.
Jul 12, 2015Welcome to the project blog of Alonzo — investigation and discussion of the code, as it's written.