Mike Vanier (mvanier@cms.caltech.edu).
GPL version 3. See: https://www.gnu.org/licenses/gpl-3.0.en.html
or the file LICENSE.
clc is a combinatory logic calculator.
Combinator expressions are entered as S-expressions. You can define new combinators in terms of old ones. There are commands to reduce combinators in various ways.
clc2 is an upgraded version of clc which will replace clc.
Features:
-
nicer syntax (input and output)
-
tools for converting lambda calculus expressions to combinatory logic expressions in a variety of ways