Si tratta dell'app Linux denominata Agda, la cui ultima versione può essere scaricata come Agda-v2.8.0-win64.zip. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app chiamata Agda con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
IMMAGINI:
Agda
DESCRIZIONE:
Agda è un linguaggio di programmazione totalmente funzionale, a tipizzazione dipendente, e un dimostratore di teoremi interattivo basato sulla teoria dei tipi di Martin-Löf. Permette di esprimere programmi e dimostrazioni nello stesso linguaggio, utilizzando la corrispondenza Curry-Howard. Offre sviluppo interattivo tramite Emacs, Atom o VS Code.
Caratteristiche
- Linguaggio tipizzato in modo dipendente che consente la codifica delle prove come tipi
- Controllo di totalità e terminazione per garantire la coerenza
- Sviluppo di prove interattive con metavariabili e integrazione Emacs/Vim/VS Code
- Supporto Unicode e sintassi che ricorda Haskell
- Libreria standard contenente definizioni per strutture dati di base e prove
- Backend inclusi MAlonzo (Haskell) e JavaScript per target di compilazione
Linguaggio di programmazione
Haskell
Categorie
Questa applicazione può essere scaricata anche da https://sourceforge.net/projects/agda.mirror/. È ospitata su OnWorks per poter essere eseguita online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.