Ini adalah aplikasi Linux bernama Agda yang rilis terbarunya dapat diunduh sebagai Agda-v2.8.0-win64.zip. Aplikasi ini dapat dijalankan secara daring di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan aplikasi bernama Agda ini secara online dengan OnWorks secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
SCREENSHOT:
Agda
DESKRIPSI:
Agda adalah bahasa pemrograman fungsional total dengan tipe dependen dan pembukti teorema interaktif berdasarkan teori tipe Martin-Löf. Bahasa ini memungkinkan penulisan program dan pembuktian dalam bahasa yang sama, menggunakan korespondensi Curry–Howard. Bahasa ini menawarkan pengembangan interaktif melalui Emacs, Atom, atau VS Code.
Fitur
- Bahasa dengan tipe dependen yang memungkinkan pengkodean bukti sebagai tipe
- Pemeriksaan totalitas dan terminasi untuk memastikan konsistensi
- Pengembangan bukti interaktif dengan metavariabel dan integrasi Emacs/Vim/VS Code
- Dukungan Unicode dan sintaksisnya mengingatkan pada Haskell
- Perpustakaan standar yang berisi definisi untuk struktur data inti dan bukti
- Backend termasuk MAlonzo (Haskell) dan JavaScript untuk target kompilasi
Bahasa Pemrograman
Haskell
KATEGORI
Ini adalah aplikasi yang juga dapat diunduh dari https://sourceforge.net/projects/agda.mirror/. Aplikasi ini dihosting di OnWorks agar dapat dijalankan secara daring dengan cara termudah dari salah satu Sistem Operasi gratis kami.