pFad - Phone/Frame/Anonymizer/Declutterfier! Saves Data!

--- a PPN by Garber Painting Akron. With Image Size Reduction included!

URL: http://github.com/romulusFR/lambda-evaluator

rossorigen="anonymous" media="all" rel="stylesheet" href="https://github.githubassets.com/assets/primer-8522af645b000615.css" /> GitHub - romulusFR/lambda-evaluator: A simple call-by-value JavaScript interpreter for the untyped lambda calculus · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.gitignore		.gitignore
README.md		README.md
lambda_evaluator.js		lambda_evaluator.js
lambda_grammar.pegjs		lambda_grammar.pegjs
package-lock.json		package-lock.json
package.json		package.json

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

nodejs javascript lambda-calculus call-by-value

Report repository

Releases

No releases published

Packages

Contributors

Languages

JavaScript 100.0%

pFad - Phonifier reborn

Pfad - The Proxy pFad © 2024 Your Company Name. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies:

Alternative Proxy