Lcilci


Description

LCI is an interpreter for the lambda calculus. It supports many advanced features such as 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).

Extracted automatically from Lci homepage
Homepage
http://lci.sourceforge.net/
Version
Unavailable

Install Lci

brew install lci

Dependencies0

This formula has no dependencies.

Conflicts1

This formula is in confict with