dependent-types-tutorial

A tutorial on how to use dependent types.

Content

Chapter 0: Getting started, Installation, Syntax
Chpater 1: Lists, Vectors, Matrices
Chapter 2: Dependent types
Chapter 3: Type descriptors
Chapter 4: Type descriptors with variables
Chapter 5: Type descriptors with multiple variables
Chapter 6: Type descriptors application & abstraction
Chapter 7: Simply typed lambda calculus