Skip to content

A simple call-by-value JavaScript interpreter for the untyped lambda calculus

Notifications You must be signed in to change notification settings

romulusFR/lambda-evaluator

Repository files navigation

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

About

A simple call-by-value JavaScript interpreter for the untyped lambda calculus

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published