Morte.Tutorial

Introduction

Desugaring

Let

Simple types

Newtypes

Recursion

Existential Quantification

Corecursion

Optimization

Normalization

Effects

Portability

Conclusion