Ini adalah aplikasi Linux bernama Agda 1 yang rilis terbarunya dapat diunduh sebagai agda-1.0.2-macosx-ppc.zip. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan secara online aplikasi bernama Agda 1 dengan OnWorks ini 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.
Agda 1
Ad
DESKRIPSI
Agda adalah sistem untuk mengembangkan bukti dan program secara bertahap. Ini adalah proyek sourceforge untuk Agda SEBELUMNYA (Agda 1). Versi terbaru Agda (Agda 2) dalam pengujian beta tersedia dari: http://wiki.portal.chalmers.se/agda/
Para penonton
Pengembang, Pendidikan, Sains/Penelitian
User interface
Konsol/Terminal, Sistem X Window (X11)
Bahasa Pemrograman
Haskell
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/agda/. Ini telah di-host di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.
