Idris 2 version 0.6.0 发布，类 Haskell 的纯函数编程语言
Idris 2 发布了 0.6.0 版本。更新内容包括 REPL 变更、语法变更、编译器变更、IDE 协议变更和标准库变更等。 Idris 是一个类似 Haskell 的纯函数编程语言，类型系统支持...
admin搜索
最近发表
热门文章
标签列表
最新文章
热评文章
热门文章
- 1Python ORM Bee V1.1 发布，增加批量插入，重用连接等
- 2🎉【信创优选】国产开源 Servlet 容器 v2.8 发布
- 3🔥类似飞书钉钉&无代码&低代码流程引擎 FlowLong 1.1.2 发布
- 4DDei 在线设计器-V1.2.46 版发布
- 5Spring Framework 6.2.2 发布
- 6Git Extensions v5.2 发布，独立的 Git 仓库 UI 管理工具
- 7avue v3.6.2 已经发布，基于 Element 的前端框架
- 8Zulip Server 9.4 发布，开源团队协作工具
站点信息
- 文章总数:72850
- 页面总数:1
- 分类总数:14
- 标签总数:47300
- 评论总数:60
- 浏览总数:13615745