Annah.Tutorial

Introduction

Let

Data types

Imports

Autogenerate Types

Folds

Recursive types

Prelude

Natural numbers

Lists

Monoids

Commands

IO

Paths

Conclusion