minitt 0.1.3

Mini-TT, a dependently-typed lambda calculus, implementated in Rust