📢 本站所有软件均来自互联网，仅提供下载链接索引；请优先从软件官网获取安装包，下载后自行查杀病毒。

✨全部 💻编程开发 🧰系统工具 ⌨️输入法 🔒网络加速 🖼️图像美化 🎵音乐音频 📝文本编辑 🗄️数据库 📦虚拟机 🎨设计绘图 📊系统监控 🗜️压缩解压

💻

idris2

Pure functional programming language with dependent types

WindowsmacOSLinux 9437 次下載 7.6万次瀏覽更新 2026-10-24

專屬網址：https://idris2.dowch.com

官網：https://www.idris-lang.org/

下載通道

本站暫未收錄該軟體的下載連結，可先前往官網取得官方原版安裝包。

軟體介紹

Pure functional programming language with dependent types

相關推薦

Visual Studio Code

Visual Studio Code

程式開發

最流行的免费代码编辑器。

5432 次下載查看詳情

Visual Studio

程式開發

微软旗舰级集成开发环境。

2230 次下載查看詳情

IntelliJ IDEA

程式開發

Java 开发首选 IDE。

8884 次下載查看詳情

PyCharm

程式開發

Python 专业开发工具。

7259 次下載查看詳情