Version 1, last updated by chatziko at February 14, 2008 10:06 UTC

LCI is an interpreter for the lambda calculus. It supports many advanced features like recursion, user-defined operators and multiple evaluation strategies, all based on the pure calculus.

The owner is chatziko