LCI is an interpreter for the lambda calculus. It supports many advances features like integers, recursion, user defined operators and multiple evaluation strategies.
VERSION HISTORY
- Version 0.6 posted on 2008-02-14
Several fixes and updates - Version 0.6 posted on 2008-02-14
Program Details
- Category: Development > Other
- Publisher: lci.sf.net
- License: Free
- Price: N/A
- Version: 0.6
- Platform: linux