Minitt Rs Versions Save

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

0.4.1

4 years ago

0.4.0

4 years ago

0.3.11

4 years ago

0.3.10

4 years ago

0.3.5

5 years ago

0.3.4

5 years ago

0.3.3

5 years ago

0.3.2

5 years ago

0.2.8

5 years ago

0.2.7

5 years ago