Questa è l'app Linux denominata Agda 1 la cui ultima versione può essere scaricata come agda-1.0.2-macosx-ppc.zip. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata Agda 1 con OnWorks gratuitamente.
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.
Ada 1
Ad
DESCRIZIONE
Agda è un sistema per lo sviluppo incrementale di prove e programmi. Questo è il progetto sourceforge per l'Agda PRECEDENTE (Agda 1). Una versione più recente di Agda (Agda 2) in beta testing è disponibile da: http://wiki.portal.chalmers.se/agda/
Pubblico
Sviluppatori, Istruzione, Scienza/Ricerca
Interfaccia utente
Console/terminale, sistema X Window (X11)
Linguaggio di programmazione
Haskell
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/agda/. È stato ospitato in OnWorks per essere eseguito online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.