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.