minitt 0.4.3

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

Parse successful.
Expected a type expression at level `0`, instead got one at level: `1`.
When checking the declaration of `badLevel`.
Type-Check failed.