Idris编程语言基础，
Programming Language Foundations in Idris, (2023-08-11, Idris, 0KB, 下载0次)
一种依赖类型的编程语言，Idris的继承者
A dependently typed programming language, a successor to Idris (2020-08-11, Idris, 0KB, 下载0次)
一种具有第一类类型的纯函数式编程语言
A purely functional programming language with first class types (2023-06-28, Idris, 0KB, 下载0次)