Cómo aprender Idris

Una introducción a cómo empezar desde cero con Idris

Este tutorial busca ser una breve introducción al lenguaje y está dirigido a lectores que ya conocen un lenguaje funcional como Haskell u OCaml. En particular, se asume cierto grado de familiaridad con la sintaxis de Haskell, aunque la mayoría de los conceptos se explican, al menos, de forma breve. También se supone que al lector le interesa usar tipos dependientes para escribir y verificar software de sistemas.