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