Idris 是一个类似 Haskell 的纯函数编程语言，类型系统支持 dependent types。
Idris 0.99.2 主要是一些 bug 修复，并给即将到来的 1.0 版本做一些预改进。 更新内容如下：
Library Updates
添加 Data.Buffer 到 base. 允许对 Bits8 的可变缓冲区进行基本操作，包括读取和写入文件。
Tool Updates
Idris 现在检查在命令行指定的软件包列表中安装的软件包。如果有不匹配的，则提醒。
Miscellaneous Updates
新 Control.ST 库文档更新
各种稳定性/效率修复
下载地址：https://github.com/idris-lang/Idris-dev/archive/v0.99.2.zip
来自:开源中国社区
