LCI - A lambda calculus interpreter

LCI - A lambda calculus interpreter

What is LCI?

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 :)

Download

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)