simply typed lambda calculus written in rust
Primary LanguageRustMIT LicenseMIT
No issues in this repository yet.