Chapter 3: Language orientation

• 3.1 Traditional and nontraditional aspects
• 3.2 Expressions and evaluation
• 3.3 Functions
• 3.4 Domains
• 3.5 Compilation
• 3.6 Libraries

Chapter 4: Basic syntax

• 4.1 Syntax components
• 4.2 Escape character
• 4.3 Keywords
• 4.4 Names: identifiers and operators
• 4.5 Comments and descriptions
• 4.6 Application syntax
• 4.7 Grouping
• 4.8 Piles

Chapter 5: Expressions

• 5.1 Names
• 5.2 Literals
• 5.3 Definitions
• 5.4 Assignments
• 5.5 Functions
• 5.6 Function calls
• 5.7 Imperatives
• 5.8 Multiple values
• 5.9 Sequences
• 5.10 Exits
• 5.11 If
• 5.12 Logical expressions
• 5.13 Loops
• 5.14 Generate expressions
• 5.15 Collections
• 5.16 General branching
• 5.17 Never

Chapter 6: Functions

• 6.1 Function definition
• 6.2 Function application
• 6.3 Keyword arguments
• 6.4 Default arguments
• 6.5 Function expressions
• 6.6 Curried functions

Chapter 7: Types

• 7.1 Why types?
• 7.2 Type expressions
• 7.3 Type context
• 7.4 Dependent types
• 7.5 Subtypes
• 7.6 Type conversion
• 7.7 Type satisfaction
• 7.8 Domains
• 7.9 Categories

Chapter 8: Name spaces

• 8.1 Scopes
• 8.2 Constants
• 8.3 Disambiguators
• 8.4 Import from
• 8.5 Inline from
• 8.6 Variables
• 8.7 Functions
• 8.8 Where
• 8.9 For iterators
• 8.10 Add
• 8.11 With
• 8.12 Application
• 8.13 Declarations
• 8.14 Fluid variables

Chapter 9: Generators

• 9.1 Using generators in loops
• 9.2 Using generators via functions
• 9.3 Creating generators

Chapter 10: Post facto extentions

• 10.1 Extending types
• 10.2 Extending functions
• 10.3 Extending the base Aldor library
• 10.4 Extending the AXIOM library

Chapter 11: Generic tie-ins

• 11.1 Literals
• 11.2 Program-defined tests
• 11.3 Generator
• 11.4 Apply
• 11.5 Set!
• 11.6 Bracket
• 11.7 Coerce

Chapter 12: Source macros

• 12.1 Macro definition
• 12.2 Macro expansion
• 12.3 Examples
• 12.4 Points of style

Chapter 13: Language-defined types

• 13.1 Type
• 13.2 (S₁,...,S_n)->(T₁,...,T_m)
• 13.3 Tuple T
• 13.4 Cross(T₁,...,T_n)
• 13.5 Enumeration(x₁,...,x_n)
• 13.6 Record(T₁,...,T_n)
• 13.7 TrailingArray((U₁,...,U_n),(V₁,...,V_m))
• 13.8 Union(T₁,...,T_n)
• 13.9 Category
• 13.10 Join(C₁,...,C_n)
• 13.11 Boolean
• 13.12 Literal
• 13.13 Generator T
• 13.14 Exit
• 13.15 Foreign I
• 13.16 Machine

Chapter 14: Standard interfaces

• 14.1 The machine interface
• 14.2 Standard libraries