lambdadxrcy/lambda
GPL-3.0N/A
Parse, reduce, and unify lambda calculus statements
0000
3
functional-programming,lambda-calculus,zig
build.zig.zon
View program on GitHubREADME
Lambda Calculus Parser
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