Aceasta este aplicația Linux 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 emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux 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, instalați-o și rulați-o.
SCREENSHOTS
Ad
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.
