-
Notifications
You must be signed in to change notification settings - Fork 0
Lambda calculus interpreter
License
JuEeHa/lambdacalc
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
A simple interpreter for (a version of) lambda calculus. Uses following syntax: `xy apply x to y \x lambda with expression x [0-9]+ a reference to a lambda, 0-indexed (e.g. \\0 = \xy.y) foo a symbol Separate references / symbols from each other with whitespace.
About
Lambda calculus interpreter
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published