Wie du Idris lernst

Ein Überblick, wie du mit Idris von Grund auf startest

Dieses Tutorial ist als kurze Einführung in die Sprache gedacht. Es richtet sich an Leserinnen und Leser, die bereits mit einer funktionalen Sprache wie Haskell oder OCaml vertraut sind. Insbesondere wird eine gewisse Vertrautheit mit der Haskell-Syntax vorausgesetzt, obwohl die meisten Konzepte zumindest kurz erklärt werden. Außerdem wird davon ausgegangen, dass du Interesse daran hast, abhängige Typen zum Schreiben und Verifizieren von Systemsoftware zu verwenden.