rafafrdz/idris-dependent-types

Introduction to dependent types in Idris. We have to explain how idris and its type checker works, and how types rules are defined

Idris