This is the tutorial for Austral.
Basics
- Getting Started: Linux
- Hello, World!
- Module Structure
- Basic Types
- Functions
- Records
- Unions
- Linear Types
- Borrowing
- Generic Types
- Generic Functions
- Type Classes
- Type Constraints
- Errors
- Capability-Based Security
- Built-In Declarations
Intermediate
- Interfacing with C
The Standard Library
- Tuples
- Bounds
Example Programs
See here.