The Plait language syntactically resembles the plai language, which is based on racket, but the type system is close to that of ML.
1 Tutorial
1.1 Getting Started
1.2 Simple Data
1.3 Using Built-in Functions
1.4 Conditionals
1.5 Lists
1.6 Definitions
1.7 Datatypes
1.8 Testing and Debugging
1.9 Anonymous Functions
1.10 S-Expressions
1.11 S-Expression Matching
1.12 Tuples and Options
1.13 Programs and Modules
1.14 State
2 Definitions
3 Expressions
4 Predefined Functions and Constants
4.1 Booleans
4.2 Lists
4.3 Numbers
4.4 Symbols
4.5 Strings
4.6 Characters
4.7 S-Expressions
4.8 Vector
4.9 Boxes
4.10 Tuples
4.11 Optional Values
4.12 Hash Tables
4.13 Parameters
4.14 Equality
4.15 Other Functions
5 Types
6 Syntactic Literals
7 Type Checking and Inference
8 Untyped and Lazy Modes