Popular repositories Loading

1. Idris-dev Idris-dev Public

   Forked from idris-lang/Idris-dev

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

   Haskell 41 3

2. software-foundations software-foundations Public

   Forked from idris-hackers/software-foundations

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

   Idris 2

3. TDD-with-Idris TDD-with-Idris Public

   用于存放一些资料。

4. TypeDD-Samples TypeDD-Samples Public

   Forked from edwinb/TypeDD-Samples

   Sample code from "Type Driven Development with Idris"

   Idris

5. Idris2 Idris2 Public

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris