minitt 0.4.3

Mini-TT, a dependently-typed lambda calculus, extended and (re)implemented in Rust
Documentation 
1
2
3
4
5

let f1 : 1 = 0;
let f2 : Type = 1;

-- Since we have dependent types, types can be arbitrary expressions
let f3 : f2 = f1;