Version 1, last updated by chatziko at February 14, 2008 10:06 UTC
Decrease font size
Increase font size
Print this page
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