GitHub repository: xzhseh/stlc-in-a-week
Primary language: Rust
Description: Write yourself a simply-typed lambda calculus using Rust in a week!