lci ☆
« Back to VersTracker
Description:
Interpreter for the lambda calculus
Type: Formula  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: lambda-calculus functional-programming education interpreter cli
Install: brew install lci
About:
LCi is a command-line interpreter for the untyped lambda calculus. It provides a clean environment for writing and evaluating lambda expressions, supporting standard syntax and reduction strategies. This tool is valuable for learning functional programming concepts and experimenting with theoretical computer science.
Key Features:
  • Interactive read-eval-print loop (REPL)
  • Support for standard lambda calculus syntax
  • Evaluation of complex expressions and fixed-point combinators
  • Command-line based for lightweight operation
Use Cases:
  • Academic study of functional programming paradigms
  • Prototyping algorithms using lambda calculus
  • Teaching concepts of computation and reducibility
Alternatives:
  • haskell – Haskell is a full-featured, production-ready functional language, whereas LCi is a specialized educational interpreter.
  • scheme – Scheme offers a broader Lisp dialect implementation, while LCi focuses strictly on lambda calculus reduction.
Version History
Detected Version Rev Change Commit
Sep 16, 2025 10:59am 0 VERSION_BUMP 896087fa
Dec 15, 2024 4:05pm 0 VERSION_BUMP 93846551
Dec 15, 2024 10:11am 0 VERSION_BUMP c69d939e
Sep 14, 2024 1:08pm 0 VERSION_BUMP b01107ff
Sep 30, 2023 8:17pm 0 VERSION_BUMP 0405022b
« Back to VersTracker  |  Browse Packages  |  About