An evaluator for the Lambda calculus written in Scala.