Language Reference
Complete reference documentation for the Keel programming language.
Syntax
| Topic | Description |
|---|
| Lexical Structure | Tokens, keywords, operators |
| Expressions | Expression syntax (coming soon) |
| Declarations | Functions, types, modules (coming soon) |
| Patterns | Pattern matching syntax (coming soon) |
Type System
| Topic | Description |
|---|
| Types | Type syntax and semantics (coming soon) |
| Type Classes | Constraints and instances (coming soon) |
| Type Inference | How types are inferred (coming soon) |
Semantics
| Topic | Description |
|---|
| Evaluation | Lazy evaluation model (coming soon) |
| Effects | Side effects and IO (coming soon) |
| Memory | Memory management (coming soon) |