Lambda Constructor v0.0.2

Beta Reduction Implementation 🚀

Added

• Beta reduction support for lambda expressions
• Support for nested lambda applications

Examples

; Basic application
(fn x. x) y  =>  y

; Self application
(fn x. x x) y  =>  y y

; Nested lambdas
(fn x. (fn y. x)) z  =>  fn y.z

; Application with free variable
(fn x. x y) z  =>  z y

; Composed application
((fn x. x) (fn y. y)) z  =>  z

Lambda Constructor v0.0.1

Initial Release 🎉

First release of Lambda Constructor, a minimalist Lambda Calculus interpreter written in Python.

Features

• Basic Lambda Calculus operations
  • Lambda abstractions with fn keyword
  • Function applications
• Interactive REPL mode
• File execution support
• Comment support using semicolon (;)

Syntax

; Basic variable
x

; Identity function
fn x.x

; Curried function
fn x y z.x

Installation

git clone https://github.com/username/lambda_constructor.git
cd lambda_constructor
python main.py

Known limitations

• No standard library included
• Basic error handling
• Limited optimization