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