Summary Part 0 - Foreword Introduction Overview Initiatives Part I - Basics Comments Terms and Statements Functions lambdas Lang Items User-Defined Data Types Visibility mods Semicolon Generics Part II - Featured Named Modes More General records Simple impls impl Functions Supertrait Arguments Associated Values Auto impls Visibility of impls const const data A const Version of factorial Part III - Advanced More Powerful Generics Do Notation Spreading Phase Polymorphism The Problem The Solution Memory Management Heap Allocation GADTs Dependent Types with Universes Hierarchies Unordered