This tutorial is for internal use at the moment. It will (hopefully) become
a helpful teaching/learning material for the community in the future.

*(NO CONFIDENTIAL MATERIAL HERE!)*

* Pre-tute homework
** Simple Cogent programs, mostly about the syntax and the type system.
*** Some of them can be taken from the testsuite.

* Tutorial


* Exercises
** Whole eco-system. Using a template to build some executable.