minitt 0.1.9

Mini-TT, a dependently-typed lambda calculus, implementated in Rust
Documentation 
1
2
3
4
5

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

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