https://github.com/theodedeken/lambda-rs
Lambda interpreter written in Rust
https://github.com/theodedeken/lambda-rs
lambda-calculus rust
Last synced: 10 months ago
JSON representation
Lambda interpreter written in Rust
- Host: GitHub
- URL: https://github.com/theodedeken/lambda-rs
- Owner: theodedeken
- License: mit
- Created: 2018-07-23T22:43:44.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2018-08-12T12:13:12.000Z (almost 8 years ago)
- Last Synced: 2025-03-04T09:43:52.445Z (over 1 year ago)
- Topics: lambda-calculus, rust
- Language: Rust
- Size: 72.3 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# lambda-rs
A type checker and interpreter for simply typed lambda calculus extended with records, variants and recursion written in Rust.
# Building
This interpreter is written in Rust on the stable toolchain, visit https://www.rust-lang.org/en-US/install.html for instructions on how to install Rust. Afterwards the project can be built using `cargo build` and can be run with `cargo run `, `` being a path to a file with lambda code. See the `examples/` directory for some example programs showcasing the features of this language.
# License
MIT