Tutorial
Introduction
"Hello, World!" ExampleStatements
Feature DeclarationFields
Assignments
Expressions
ConstantsCalls
Lazy Evaluation
Type casts
Control Structures
Conditional StatementLoops
Advanced Loops
Loop Correctness
Loops and Tail Recursion
Match Statement
Types
Basic TypesInteger Types
Numeric Overflows
Fraction Types
Record Types
References
Generics
Arrays
Choice Types
Functions
Tuples
Data-less Types
Data-less TypesInheritance
InheritanceComments
CommentsCorrectness
Design by ContractDesign by Contract: Motivation
Developing with pre- and postconditions
Predefined Pre- and Postcondition Qualifiers
Invariants
Run-time Errors