idris ၏ ဗားရှင်း ၁ ခုကို မှ လက်ရှိ 1.3.3 အထိ ဤနေရာတွင် စာရင်းပြုထားပါသည်။ ဗားရှင်းတိုင်းသည် ထုတ်ဝေသူ၏ ကိုယ်ပိုင် installer ဖိုင်များသို့ လင့်ခ်ချိတ်ထားပါသည်။
| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 1.3.3နောက်ဆုံး | ၁ KB | 64-bit ZIP ၁ KB |
idris ဗားရှင်းဟောင်းများ ဒေါင်းလုဒ်
A Dependently Typed Functional Programming Language
- လိုင်စင်ပွင့်လင်းရင်းမြစ် (open source)
- ဗားရှင်း1.3.3
- အရွယ်အစား၁ KB
- လိုအပ်ချက်Windows 10, 11
- Chocolatey ဒေါင်းလုဒ်၂.၁ ထောင်
IDE နှင့် code editor များ တွင် လူကြိုက်အများဆုံး
အားလုံးကြည့်ရန်-
RStudioIDE နှင့် code editor များ · Posit Software -
Node.js (LTS)IDE နှင့် code editor များ · Node.js Foundation -
Apache NetBeansIDE နှင့် code editor များ · Apache NetBeans -
VSCodiumIDE နှင့် code editor များ · VSCodium -
HaxeIDE နှင့် code editor များ · Haxe Foundation -
ThonnyIDE နှင့် code editor များ · Aivar Annamaa -
GDevelopIDE နှင့် code editor များ · GDevelop Team -
mkcertIDE နှင့် code editor များ · FiloSottile -
ProcessingIDE နှင့် code editor များ · Processing Foundation -
Android StudioIDE နှင့် code editor များ · Google LLC