minitt 0.2.4

Mini-TT, a dependently-typed lambda calculus, extended and implementated in Rust
Documentation 
Parse successful.
let a: U = 1;
let b: U = 1;
let f: Π _: a. b = λ x. x;
let p: Σ _: a. b = (0, 0);
const infer_my_type = (1, 1);

Type-Check successful.