A rust implementation of dependently typed lambda calculus

This is an experiment to learn Rust and dependent types by implementing the Tutorial implementation of a dependently typed lambda calculus by Löh, McBride, and Swierstra.

Requirements

This project was built with Rust version 1.53.0.

Build

cargo run
cargo test