Πώς να μάθεις την Idris

Μια επισκόπηση του πώς να ξεκινήσεις από το μηδέν με την Idris

Αυτό το φροντιστήριο έχει σκοπό να αποτελέσει μια σύντομη εισαγωγή στη γλώσσα και απευθύνεται σε αναγνώστες που γνωρίζουν ήδη μια συναρτησιακή γλώσσα όπως η Haskell ή η OCaml. Συγκεκριμένα, υποθέτουμε κάποια εξοικείωση με τη σύνταξη της Haskell, αν και οι περισσότερες έννοιες θα εξηγηθούν τουλάχιστον σύντομα. Υποθέτουμε επίσης ότι ο αναγνώστης έχει κάποιο ενδιαφέρον για τη χρήση εξαρτημένων τύπων στη συγγραφή και επαλήθευση λογισμικού συστημάτων.