Idris 2 v0.4.0 发布。此版本主要变更包括语法变化、编译器变更、REPL/IDE 模式变更。 语法变化 Desugar non-binding sequencing in do blocks to (>>) (#1095) Multiline Strings with """ as delimiters (#1097) Force strict indentation after usage of with keyword (#1107) The syntax for parameter blocks has ... Idris 2 v0.4.0 发布,类 Haskell 的纯函数编程语言下载地址