Skip to content

JuEeHa/lambdacalc

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 

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

No packages published