idris2

idris2 是编程开发里比较常用的一款，日常用起来比较稳。覆盖 三大桌面系统，版本 当前稳定版，下载体积约 见页面。安装配置不复杂，跟着向导走就行。本站只走官方源，不做任何二次打包；安装包干净是底线。首次启动慢一点属于正常，之后会顺畅很多。idris2 的更新节奏比较稳定，一般不会突然大改界面。页面上方标注的平台如果对得上，直接下载即可。