NAME

tlci —

tiny lambda calculus interpreter

SYNOPSIS

tlci

tlci [files...]

DESCRIPTION

The tlci is a tiny portable lambda calculus interpreter written in C99. Running it will load the provided files and drop you into a REPL. Exit the interpreter by pressing ^D or ^C.

SYNTAX

Abstractions are anonymous functions. Declare them as e.g. "\x.x".
Apply functions to values by putting a space between function and argument. E.g.: "f arg".
Variables can be bound through e.g. "let foo = <some expression>" and deleted through "release foo".

FILES

/usr/local/bin/tlci

AUTHOR

Nico Sonack ⟨nsonack AT outlook <DOT> com⟩.