README.md

lambda-evaluator

A simple call-by-value JavaScript interpreter for the untyped lambda calculus (with primitive + * arithmetic) using https://pegjs.org/

Usage

• nodejs lambda_evaluator.js for an example with a default simple formula
• nodejs lambda_evaluator.js "(λx.x 2)" with your own formula

TODO

• clean JS with ESlint
• correct issue with () in grammar
• add example with Church numerals