mafm/dtlc.rs

Rust implementation of a dependently typed λ-calculus

rust-dtlc

Rust implementation of a dependently typed λ-calculus.

Synopsis

Design

The interpreter is based on ideas from the following sources:

• Löh, McBride, Swierstra / Simply Easy! (revised version)
• Augustsson / Simpler, Easier!

Requirements

1. Rust
2. Cargo

You can install both with the following:

$ curl -s https://static.rust-lang.org/rustup.sh | sudo sh

See Installing Rust for further details.

Usage

$ cargo build       ## build library and binary
$ cargo run         ## run binary (does nothing useful yet)
$ cargo test        ## run tests in ./tests
$ cargo bench       ## run benchmarks in ./benches