Version 1, last updated by chatziko at Feb 14 15:06 2008 UTC

Decrease font size Decrease font size

Increase font size Increase font size

Print this page Print this page

Home

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