Grammar and Type

Grammar

Basic Types

Operators

Declaration

Product Type

Variant Type

Recursive Type

Type Inference

Pattern Matching