idrisのバージョンを、から最新の1.3.3まで1件掲載しています。いずれも提供元の公式インストーラーにリンクしています。
| バージョン | 日付 | サイズ | ファイル |
|---|---|---|---|
| 1.3.3最新版 | 1 KB | 64ビット ZIP 1 KB |
idrisの旧バージョン・全バージョン一覧
A Dependently Typed Functional Programming Language
- ライセンスオープンソース
- バージョン1.3.3
- サイズ1 KB
- 動作環境Windows 10, 11
- Chocolateyダウンロード数2068
IDE・コードエディターで最も人気
すべて表示-
OpenCodeIDE・コードエディター · OpenCode -
RStudioIDE・コードエディター · Posit Software -
Node.js (LTS)IDE・コードエディター · Node.js Foundation -
Apache NetBeansIDE・コードエディター · Apache NetBeans -
VSCodiumIDE・コードエディター · VSCodium -
HaxeIDE・コードエディター · Haxe Foundation -
ThonnyIDE・コードエディター · Aivar Annamaa -
GDevelopIDE・コードエディター · GDevelop Team -
mkcertIDE・コードエディター · FiloSottile -
ProcessingIDE・コードエディター · Processing Foundation