(Please don’t repost, this is still a WIP) A small dependently typed lambda calculus implemented in Rust. 🥞 - View it on GitHub