A typed lambda calculus written in Rust.
Primary LanguageRustThe UnlicenseUnlicense
No one’s star this repository yet.