README

April 9, 2015 ยท View on GitHub

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.