Idris 中文文档

Idris 中文文档's repositories

用作文档目的，翻译方式见 Issue #10

Language:HaskellNOASSERTION41 5 25

《软件基础：Idris 语言描述》

Language:IdrisNOASSERTION2 50

A purely functional programming language with first class types

Language:IdrisNOASSERTION000

用于存放一些资料。

040

Sample code from "Type Driven Development with Idris"

Language:IdrisMIT050