idris2

idris2 在编程开发这一类里属于上手快的那种，日常用起来比较稳。本页整理的是 三大桌面系统 版本，版本号 当前稳定版，大小约 见页面。安装配置不复杂，跟着向导走就行。本站按平台拆开放，下载前能先确认系统；省得装错了再重来。首次启动慢一点属于正常，之后会顺畅很多。第一次打开 idris2 时，按向导走一遍就能上手。同分类里还有几款替代方案，可以一起对比。