1. 1. Introduction
2. 2. Language Description
3. 1. 2.1. Syntax overview
   2. 2.2. Code organization
   3. 2.3. Type declarations
   4. 2.4. Constraint descriptions
   5. 2.5. Variables
   6. 2.6. Evaluators
   7. 2.7. Buses
   8. 2.8. Convenience syntax
   9. 2.9. AirScript Example
   10. 2.10. Keywords
   11. 2.11. Appendix
4. 3. Backends