Idrisの学び方

Idrisをゼロから始めるための概要です

このチュートリアルは、言語への簡潔な入門となることを目的としています。HaskellやOCamlなどの関数型言語にすでに親しんでいる読者を対象としています。特に、Haskellの構文についてある程度の知識があることを前提としていますが、ほとんどの概念は少なくとも簡単に説明します。また、システムソフトウェアを書き、検証するために依存型を使うことに、ある程度の関心があることも前提としています。