1. ALUX programming
5. Concepts
6. Operational Semantics
7. Free Monad
8. Continuation-Passing Style
9. Defunctionalization
10. Dependent types
11. Branching and Confluence
13. Insights
14. Operational Semantics in Context
15. Mini EVM
16. Free Monad (dependently)
20. Contributing
21. About the book