Table of Contents

    . 1. Conformance Model
    - 2. Types
       - 2.1. Function Types
          . 2.1.1. Felix Function Types
          . 2.1.2. C Function Types
          . 2.1.3. Procedure Types
       - 2.2. Anonymous Types
          . 2.2.1. Tuple Types
          . 2.2.2. Array Types
          . 2.2.3. Record Types
          . 2.2.4. Sum Types
          . 2.2.5. Pointer Types
          . 2.2.6. Type Recursion
       - 2.3. Nominal Types
          . 2.3.1. Struct Types
          . 2.3.2. Union Types
          . 2.3.3. Enumeration Types
          . 2.3.4. Class Types
       . 2.4. Primitive Types
       - 2.5. Standard Types
          - 2.5.1. System Types
             . 2.5.1.1. Fibres
          . 2.5.2. Arithmetic Types
          . 2.5.3. Character and String Types
          . 2.5.4. Container Types
    - 3. Applicative classes
       - 3.1. Defining Functions
          . 3.1.1. Lazy value Types
       . 3.2. Defining Procedures
    - 4. Bindings
       . 4.1. Binding types
       . 4.2. Binding constants
       . 4.3. Requirements Specifications
    - 5. Expressions
       - 5.1. Literals
          - 5.1.1. Numeric Literals
             . 5.1.1.1. Integer Literals
             . 5.1.1.2. Floating Literals
          . 5.1.2. String Literals
       . 5.2. Table of operators
       . 5.3. Let/In
       . 5.4. Coercions
       . 5.5. Record Coercions
       . 5.6. Pattern match
    - 6. Statements
       . 6.1. Directives
       . 6.2. Include Directive
       . 6.3. Open Directive
       . 6.4. Inherit Directive
       . 6.5. Use Directive
       - 6.6. Definitions
          . 6.6.1. Typedef
          . 6.6.2. Modules
          . 6.6.3. Typeclasses
          . 6.6.4. Instances
          . 6.6.5. Regular Expressions
          . 6.6.6. Grammar Productions
       - 6.7. Executable Statements
          . 6.7.1. No operation
          . 6.7.2. Goto
          . 6.7.3. Call
          . 6.7.4. Return
          . 6.7.5. Assignment
          - 6.7.6. Assertions
             . 6.7.6.1. assert
             . 6.7.6.2. axiom
             . 6.7.6.3. reduce
             . 6.7.6.4. check
             . 6.7.6.5. precondition
             . 6.7.6.6. postcondition
          . 6.7.7. Standard Control Macros
          . 6.7.8. Condition chain
          . 6.7.9. loops
          . 6.7.10. Standard Control Procedures
    . 7. Processing Phases
    - 8. Hash Preprocessor
       . 8.1. Conditional compilation
       . 8.2. File inclusion
       - 8.3. User defined Syntax
          . 8.3.1. User defined Statements
          . 8.3.2. User defined Operators
       . 8.4. Tokens
    - 9. Syntax Macro Processor
       - 9.1. Special constructions
          . 9.1.1. Generic Iterator
    . 10. Synchronous Multithreading
    . 11. First order polymorphism
    - 12. Appenix: Magic names
       . 12.1. Expression operator names
       . 12.2. Other magic