如何学习 Idris

从零开始学习 Idris 的入门概览

本教程旨在简要介绍这门语言，面向已经熟悉 Haskell 或 OCaml 等函数式语言的读者。文中假定读者对 Haskell 语法有一定的了解，不过大多数概念至少会做简短说明。同时，也假定读者对使用依赖类型来编写和验证系统软件有一定的兴趣。