This Scala / Dotty project contains an interpreter for lambda calculus that uses Huet's Zipper.
You can compile the project with sbt compile and run it with sbt run.
As usual, sbt console will start a REPL.
-
Notifications
You must be signed in to change notification settings - Fork 0
A Scala interpreter for lambda calculus, using Huet's Zipper
License
redelmann/zipterpreter
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A Scala interpreter for lambda calculus, using Huet's Zipper
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published