Dit is de Linux-app genaamd Agda 1 waarvan de nieuwste release kan worden gedownload als agda-1.0.2-macosx-ppc.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en gebruik gratis deze app genaamd Agda 1 met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
Agda 1
Ad
PRODUCTBESCHRIJVING
Agda is een systeem voor het stapsgewijs ontwikkelen van bewijzen en programma's. Dit is het sourceforge-project voor de VORIGE Agda (Agda 1). Een nieuwere versie van Agda (Agda 2) in bètatests is verkrijgbaar bij: http://wiki.portal.chalmers.se/agda/
Toehoorders
Ontwikkelaars, Onderwijs, Wetenschap/Onderzoek
Gebruikersinterface
Console/terminal, X Window-systeem (X11)
Programmeertaal
Haskell
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/agda/. Het is gehost in OnWorks om op een gemakkelijkste manier online te kunnen worden uitgevoerd vanuit een van onze gratis besturingssystemen.