Come imparare Idris

Una panoramica su come iniziare da zero con Idris

Questo tutorial vuole essere una breve introduzione al linguaggio ed è pensato per chi ha già familiarità con un linguaggio funzionale come Haskell o OCaml. In particolare, si dà per scontata una certa familiarità con la sintassi di Haskell, anche se la maggior parte dei concetti sarà almeno spiegata brevemente. Si presume inoltre che chi legge sia interessato a usare i tipi dipendenti per scrivere e verificare software di sistema.