Ini adalah aplikasi Windows 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. Mulai emulator online OS OnWorks apa pun dari situs web ini, tetapi emulator online Windows yang lebih baik.
- 5. Dari OS Windows 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. Unduh aplikasi dan instal.
- 7. Unduh Wine dari repositori perangkat lunak distribusi Linux Anda. Setelah terinstal, Anda kemudian dapat mengklik dua kali aplikasi untuk menjalankannya dengan Wine. Anda juga dapat mencoba PlayOnLinux, antarmuka mewah di atas Wine yang akan membantu Anda menginstal program dan game Windows populer.
Wine adalah cara untuk menjalankan perangkat lunak Windows di Linux, tetapi tidak memerlukan Windows. Wine adalah lapisan kompatibilitas Windows sumber terbuka yang dapat menjalankan program Windows secara langsung di desktop Linux apa pun. Pada dasarnya, Wine mencoba untuk mengimplementasikan kembali Windows dari awal sehingga dapat menjalankan semua aplikasi Windows tersebut tanpa benar-benar membutuhkan Windows.
Tangkapan layar
Ad
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.
