idris — აქ ჩამოთვლილია 1 ვერსია: პირველი , მიმდინარე 1.3.3. თითოეული ვერსია გამომცემლის საკუთარ საინსტალაციო ფაილზე მიუთითებს.
| ვერსია | თარიღი | ზომა | ფაილები |
|---|---|---|---|
| 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 ჩამოტვირთვები2,1 ათ.
ყველაზე პოპულარული — 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