Skip to content


Here's an interactive map approximating the dependencies between language features.


Please note the documentation is still largely TODO: some of these pages are not written yet.

Values Syntax Other Numbers Booleans If expressions Collections Characters and strings Records Tuples Type annotations Type aliases Functions Anonymous functions and holes Algebraic data types GADTs Function overloading Type classes Operators Standard library Maybe and Result Statements and blocks Where Pipelines Dot chaining Comments Case expressions and pattern matching Pattern guards Imports, exports and modules Tests Legend