Dit is de Linux-app genaamd De Agda-standaardbibliotheek, waarvan de nieuwste versie kan worden gedownload als v2.3sourcecode.tar.gz. Deze kan online worden uitgevoerd via de gratis hostingprovider OnWorks voor werkstations.
Download en gebruik online gratis deze app met de naam De Agda-standaardbibliotheek 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.
SCREENSHOTS
Ad
De Agda-standaardbibliotheek
PRODUCTBESCHRIJVING
De standaardbibliotheek beoogt alle tools te bevatten die nodig zijn om zowel programma's als bewijzen eenvoudig te schrijven. Hoewel we altijd proberen efficiënte code te schrijven, geven we prioriteit aan het gemak van bewijzen boven typecontrole en normalisatieprestaties. Als rekenprestaties belangrijk voor u zijn, probeer dan misschien agda-prelude. Agda is een afhankelijk getypeerde programmeertaal. Het is een uitbreiding van Martin-Löfs typetheorie en is de nieuwste in de traditie van talen die zijn ontwikkeld in de programmeerlogicagroep van Chalmers. Andere talen in deze traditie zijn Alf, Alfa, Agda 1 en Cayenne. Andere losjes verwante talen zijn Coq, Epigram, Idris en Lean.
Kenmerken
- Typecontrole met vlaggen
- Documentatie aanwezig
- Voorbeelden en documentatie
- De Emacs-modus instellen voor gebruik met de bibliotheek
- Agda kan worden gebruikt als bewijsassistent, waardoor men wiskundige stellingen kan bewijzen
- Voer dergelijke bewijzen uit als algoritmen
Categorieën
Deze applicatie kan ook worden gedownload van https://sourceforge.net/projects/the-agda-standard-lib.mirror/. Deze is gehost in OnWorks, zodat deze eenvoudig online kan worden uitgevoerd via een van onze gratis besturingssystemen.
