To jest aplikacja dla systemu Linux o nazwie Agda, której najnowszą wersję można pobrać jako Agda-v2.8.0-win64.zip. Można ją uruchomić online w darmowym hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom bezpłatnie aplikację Agda z OnWorks.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
ZDJĘCIA EKRANU:
Agda
OPIS:
Agda to język programowania o typach zależnych, totalnie funkcyjny i interaktywny dowód twierdzeń oparty na teorii typów Martina-Löfa. Umożliwia on wyrażanie programów i dowodów w tym samym języku, wykorzystując korespondencję Curry'ego-Howarda. Oferuje interaktywne tworzenie programów za pośrednictwem Emacs, Atom lub VS Code.
Funkcjonalności
- Język zależnie typowany, umożliwiający kodowanie dowodów jako typów
- Kontrola całości i terminacji w celu zapewnienia spójności
- Interaktywne tworzenie dowodów z metazmiennymi i integracją Emacs/Vim/VS Code
- Obsługa Unicode i składnia przypominająca Haskell
- Biblioteka standardowa zawierająca definicje podstawowych struktur danych i dowodów
- Zaplecza obejmujące MAlonzo (Haskell) i JavaScript do celów kompilacji
Język programowania
Haskell
Kategorie
Tę aplikację można również pobrać ze strony https://sourceforge.net/projects/agda.mirror/. Została ona umieszczona w OnWorks, aby można ją było uruchomić online w najłatwiejszy sposób z jednego z naszych darmowych systemów operacyjnych.