Ini ialah apl Linux bernama Agda yang keluaran terbarunya boleh dimuat turun sebagai Agda-v2.8.0-win64.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian aplikasi bernama Agda ini dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
SKRIN:
Agda
HURAIAN:
Agda ialah bahasa pengaturcaraan fungsi penuh yang ditaip bergantung dan teorem interaktif berdasarkan teori jenis Martin-Löf. Ia membenarkan program menyatakan dan bukti dalam bahasa yang sama, menggunakan surat-menyurat Curry–Howard. Ia menampilkan pembangunan interaktif melalui Emacs, Atom, atau VS Code.
Ciri-ciri
- Bahasa taip bergantung yang membolehkan pengekodan bukti sebagai jenis
- Pemeriksaan keseluruhan dan penamatan untuk memastikan konsistensi
- Pembangunan bukti interaktif dengan pembolehubah meta dan penyepaduan Kod Emacs/Vim/VS
- Sokongan Unicode dan sintaks mengingatkan Haskell
- Pustaka standard yang mengandungi definisi untuk struktur data teras dan bukti
- Bahagian belakang termasuk MAlonzo (Haskell) dan JavaScript untuk sasaran kompilasi
Bahasa Pengaturcaraan
Haskell
Kategori
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/agda.mirror/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.