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. Convenience syntax
   8. 2.8. AirScript Example
   9. 2.9. Keywords
   10. 2.10. Appendix
4. 3. Backends