2. Context
3. 1. Introduction
4. 2. Philosophy
5. 3. Getting started
7. Constellations and their execution
8. 4. Term unification
9. 5. Stars and constellations
10. 6. Execution of constellations
12. Basics of Stellogen
13. 7. Defining constellations
14. 8. Commands
15. 9. Reactive effects
16. 10. Substitutions
17. 11. Logic programming
19. Object-oriented programming
20. 12. Galaxies
21. 13. Interfaces
23. Typing
24. 14. Specficiations
25. 15. Expectations
27. Imperative programming
28. 16. Processes
30. State machines
31. 17. Finite automata (TODO)
32. 18. Transducers (TODO)
33. 19. Pushdown automata (TODO)
34. 20. Turing machines (TODO)
36. Functional programming
37. 21. Untyped linear lambda-calculus (TODO)
38. 22. Linear types (TODO)
39. 23. Simply typed lambda-calculus (TODO)