Aceasta este aplicația Windows numită Agda, a cărei ultimă versiune poate fi descărcată sub numele Agda-v2.8.0-win64.zip. Poate fi rulată online în furnizorul de găzduire gratuită OnWorks pentru stații de lucru.
Descarcă și rulează online această aplicație numită Agda cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți orice emulator online OS OnWorks de pe acest site, dar mai bun emulator online Windows.
- 5. Din sistemul de operare Windows OnWorks pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația și instalați-o.
- 7. Descărcați Wine din depozitele de software ale distribuțiilor Linux. Odată instalat, puteți apoi să faceți dublu clic pe aplicație pentru a le rula cu Wine. De asemenea, puteți încerca PlayOnLinux, o interfață elegantă peste Wine, care vă va ajuta să instalați programe și jocuri populare Windows.
Wine este o modalitate de a rula software-ul Windows pe Linux, dar fără a fi necesar Windows. Wine este un strat de compatibilitate Windows open-source care poate rula programe Windows direct pe orice desktop Linux. În esență, Wine încearcă să reimplementeze suficient Windows de la zero, astfel încât să poată rula toate acele aplicații Windows fără a avea nevoie efectiv de Windows.
CAPTURĂ DE ECRAN:
Agda
DESCRIERE:
Agda este un limbaj de programare total funcțional, cu tipizare dependentă și un demonstrator de teoreme interactiv, bazat pe teoria tipurilor a lui Martin-Löf. Permite exprimarea programelor și demonstrațiilor în același limbaj, folosind corespondența Curry-Howard. Prezintă dezvoltare interactivă prin Emacs, Atom sau VS Code.
Categorii
- Limbaj tipizat dependent care permite codificarea dovezilor ca tipuri
- Verificarea totalității și a terminării pentru asigurarea consecvenței
- Dezvoltare interactivă de demonstrații cu metavariabile și integrare Emacs/Vim/VS Code
- Suport Unicode și sintaxă asemănătoare cu Haskell
- Bibliotecă standard care conține definiții pentru structuri de date de bază și demonstrații
- Backend-uri inclusiv MAlonzo (Haskell) și JavaScript pentru ținte de compilare
Limbaj de programare
Haskell
Categorii
Aceasta este o aplicație care poate fi descărcată și de la https://sourceforge.net/projects/agda.mirror/. A fost găzduită în OnWorks pentru a putea fi rulată online în cel mai simplu mod de pe unul dintre sistemele noastre de operare gratuite.