minitt 0.2.2

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