Table of Contents

1. Conformance Model

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.1. Binding types

4.2. Binding constants

4.3. Requirements Specifications

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.5. Record Coercions

5.6. Pattern match

6.1. Directives

6.2. Include Directive

6.3. Open Directive

6.4. Inherit Directive

6.5. Use Directive

6.6. Definitions

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.5. Assignment

6.7.6. Assertions

6.7.6.1. assert

6.7.6.3. reduce

6.7.6.5. precondition

6.7.6.6. postcondition

6.7.7. Standard Control Macros

6.7.8. Condition chain

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

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