Idris 2 发布了 0.6.0 版本。更新内容包括 REPL 变更、语法变更、编译器变更、IDE 协议变更和标准库变更等。 Idris 是一个类似 Haskell 的纯函数编程语言，类型系统支持 dependent types。 依赖模式匹配的依赖类型系统 简单的 C 函数接口 编译器级别的编码支持 where 语句，with 规则，简单的 case 表达式，模式匹配 le... Idris 2 version 0.6.0 发布，类 Haskell 的纯函数编程语言下载地址
