/stlc_rs

simply typed lambda calculus written in rust

Primary LanguageRustMIT LicenseMIT

Stargazers