βcalc -- Lambda Calculus Evaluator

Parse, reduce, and unify lambda calculus statements.

Usage

Requires Zig 0.15.1 to compile.

zig build run -- example/valid

Features

• Streamlined parsing
• Term reduction (application)
• Unifying terms with matching structures
• Basic Unicode support
• Multiple-error reporting
• Blazingly fast