Dit is de Linux-app Agda, waarvan de nieuwste versie kan worden gedownload als Agda-v2.8.0-win64.zip. Deze kan online worden uitgevoerd via de gratis hostingprovider OnWorks voor werkstations.
Download en gebruik online gratis deze app met de naam Agda 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.
SCHERMSCHERMEN:
Agda
BESCHRIJVING:
Agda is een afhankelijk getypeerde, volledig functionele programmeertaal en interactieve stellingenbewijzer gebaseerd op de typetheorie van Martin-Löf. Het maakt het mogelijk om programma's en bewijzen in dezelfde taal uit te drukken, met behulp van de Curry-Howard-correspondentie. Het biedt interactieve ontwikkeling via Emacs, Atom of VS Code.
Kenmerken
- Afhankelijk getypeerde taal die het coderen van bewijzen als typen mogelijk maakt
- Controle op totaliteit en beëindiging om consistentie te garanderen
- Interactieve bewijsontwikkeling met metavariabelen en Emacs/Vim/VS Code-integratie
- Unicode-ondersteuning en syntaxis die doet denken aan Haskell
- Standaardbibliotheek met definities voor kerndatastructuren en bewijzen
- Backends inclusief MAlonzo (Haskell) en JavaScript voor compilatiedoelen
Programmeertaal
Haskell
Categorieën
Deze applicatie kan ook worden gedownload van https://sourceforge.net/projects/agda.mirror/. Deze is gehost in OnWorks, zodat deze eenvoudig online kan worden uitgevoerd via een van onze gratis besturingssystemen.