# 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.