/lambda-calculus

Yaklang Lambda Calculus: Beta-Reduction

No issues in this repository yet.