minitt 0.2.2

Mini-TT, a dependently-typed lambda calculus, extended and implementated in Rust
# Mini-TT samples

Recommended reading order:

+ [basic syntax](./basics/simple.minitt)
+ [reference to other definitions](./basics/reference.minitt)
+ [local bindings](./basics/local-binding.minitt)
+ [some syntax sugars](./basics/syntacic-sugar.minitt)
+ [unicode syntax example](./basics/unicode.minitt)
+ [non-recursive sum: bool](./sum-split/bool.minitt)
+ [dependent product: pi type](./dependent/function.minitt)
+ [recursive sum: nat](./sum-split/nat.minitt)
+ [dependent coproduct: sigma type](./dependent/sigma.minitt) (WIP)

[This script](test.pl) is used to run integration tests.