minitt 0.0.2

Work-In-Progress implementation in Rust for Mini-TT, a dependently-typed lambda calculus model