The plaitypus language syntactically resembles the plai language, which is based on racket, but the type system is close to that of ML.
1 Definitions
2 Expressions
3 Predefined Functions and Constants
3.1 Booleans
3.2 Lists
3.3 Numbers
3.4 Symbols
3.5 Strings
3.6 Characters
3.7 S-Expressions
3.8 Vector
3.9 Boxes
3.10 Tuples
3.11 Optional Values
3.12 Hash Tables
3.13 Parameters
3.14 Equality
3.15 Other Functions
4 Types
5 Syntactic Literals
6 Type Checking and Inference
7 Untyped with Typed Syntax