1. Introduction
2. Installation
4. Reference
5. 1. The Andromeda meta-language
6. 2. Object type theories
8. Project
9. 3. Publications