Interpreting Lambda Calculus using Zippers This Scala / Dotty project contains an interpreter for lambda calculus that uses Huet's Zipper. Usage You can compile the project with sbt compile and run it with sbt run. As usual, sbt console will start a REPL.