LCI - A lambda calculus interpreter

LCI Home Page

[news] [download] [documentation] [development]
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. It is FREE SOFTWARE licenced under the GNU General Public Licence (GPL).

News

Version 0.6 - Development site (14 February 2008)

This is a bugfix release, correcting an issue with alpha conversion that was causing the exponential operator (**) to give wrong results (the fix was in cvs for a long time). This version also coincides with the setup of a development site for LCI that uses Trac. It will make it easier for people to send bug reports, feature requests, etc, and hopefully bring forth some activity in the project.
Version 0.5 is out (13 March 2006)

First 'official' release of lci, the code was there for some time but I wanted to add an autotooled build system and some cool extra features.

So we now use autotools to build, type ./configure && make && make install and you're done. Tested in linux, win32 (cygwin) and OSX, it compiles like a charm :)

There is also support for readline now so if you have it installed when compiling you'll be able to edit the lines that you type, have history, etc.

Finally some impressive optimizations have been done in this version. Queens 5 takes just 2 seconds instead of 50 and we can even solve Queens 6 and Queens 7 which were unsolvable before.

Enjoy :)

Latest version is 0.6, released on 14 February 2008. You can install LCI from source (recommended for Linux and OSX) or you can use the pre-compiled i386 binaries for Linux and Windows.

Source code (tar.gz, 200KB)
Linux binaries (tar.gz, 570KB)
Windows binaries (zip, 1MB)

To install LCI from source extract the source archive, cd to that directory and type

   ./configure
   make
   sudo make install

It is recommended to install the readline library (and development files) before compiling LCI. For debian based systems the package is called libreadline5-dev. Check the output of configure to see if you have it.

To use a binary package simply extract it and run the lci executable.

You can also get the latest development version directly from subversion (make sure to read the README):

   svn checkout http://svn2.assembla.com/svn/lci/trunk lci

There is a detailed enough documentation of LCI in pdf format. The documentation covers most of the program's features and it also explains various topics concerning the lambda-calculus

View documentation online.
Download documentation (pdf, 89KB)

If you find bugs in LCI please add a ticket at LCI's development site. Tickets can be also added to suggest new features or to ask for support. You can also see development information, subversion activity, browse the source code, etc. If you are interested in helping to improve LCI by contributing code or joining the development team (in order to really become a "team" ;-) you are something more than welcome.

Finally I'd like very much to hear from people who are actually using the program, feel free to mail me for any reason.

Development site
Email: kostas [at] chatzi [dot] org

Last modification: 14/2/2008 by Kostas Chatzikokolakis