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
brew install lci
This formula has no dependencies.
This formula is in confict with