lambda-calculus-java-2 Implementation of (untyped) lambda calculus in Java. Based off of Chapter 6 of Pierce's Types and Programming Languages.