owo-lang / minitt-rsLinks

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
119Updated 4 years ago

Alternatives and similar repositories for minitt-rs

Users that are interested in minitt-rs are comparing it to the libraries listed below

Sorting: