--------------
Dependent type
--------------

Dependent type theory examples.
See https://en.wikipedia.org/wiki/Dependent_type
