Introduction
Lexical Syntax
L Programs
Items
Statements
1. Let Statements
2. Expression Statements
Expressions
Patterns
1. Identifier Pattern
2. Wildcard Pattern
The Type System
Implementation

L

Types

Syntax

<type> ::=
| <primitive-type>
| <parenthesized-type>
| <function-type>