Cara Menginstal agda di Debian 11


Cara Menginstal agda di Debian 11

Dalam tutorial ini kita belajar cara menginstal agda di Debian 11. agda adalah bahasa pemrograman fungsional yang diketik secara dependen

pengantar

Dalam tutorial ini kita belajar cara menginstal agda di Debian 11.

Apa itu agda

Agda adalah bahasa pemrograman fungsional yang diketik secara dependen: Ia memiliki keluarga induktif, yang seperti GADT Haskell, tetapi mereka dapat diindeks oleh nilai dan bukan hanya tipe. Ini juga memiliki modul parameter, operator mixfix, karakter Unicode, dan interface Emacs interaktif (pemeriksa tipe dapat membantu dalam pengembangan kode Anda).. Agda juga merupakan asisten bukti: Ini adalah sistem interaktif untuk menulis dan memeriksa bukti. Agda didasarkan pada teori tipe intuisionistik, sistem dasar untuk matematika konstruktif yang dikembangkan oleh ahli logika Swedia Per Martin-L?f. Ini memiliki banyak kesamaan dengan asisten bukti lain berdasarkan tipe dependen, seperti Coq, Epigram dan NuPRL.. Ini adalah paket meta yang menyediakan cara emacs Agda, yang dapat dieksekusi, pustaka standar dan dokumentasinya.

Ada tiga cara untuk menginstal agda di Debian 11. Kita bisa menggunakan apt-get, apt dan aptitude. Pada bagian berikut kami akan menjelaskan masing-masing metode. Anda dapat memilih salah satunya.

Instal agda Menggunakan apt-get

Perbarui database apt dengan apt-get menggunakan perintah berikut.

sudo apt-get update

Setelah memperbarui database apt, Kita dapat menginstal apt -get menggunakan apt-get dengan menjalankan perintah berikut:

sudo apt-get -y install agda

Instal agda Menggunakan apt

Perbarui database apt dengan apt menggunakan perintah berikut.

sudo apt update

Setelah memperbarui database apt, Kita dapat menginstal apt menggunakan apt dengan menjalankan perintah berikut:

sudo apt -y install agda

Instal agda Menggunakan aptitude

Jika Anda ingin mengikuti metode ini, Anda mungkin perlu menginstal aptitude terlebih dahulu karena aptitude biasanya tidak diinstal secara default di Debian. Perbarui database apt dengan aptitude menggunakan perintah berikut.

sudo apt update

Setelah memperbarui database apt, Kita dapat menginstal agda menggunakan aptitude dengan menjalankan perintah berikut:

sudo aptitude -y install agda

Cara Menghapus instalan agda di Debian 11

Untuk meng-uninstall hanya paket agda kita dapat menggunakan perintah berikut:

sudo apt-get remove agda

Copot pemasangan agda Dan Dependensinya

Untuk meng-uninstall agda dan dependensinya yang tidak lagi dibutuhkan oleh Debian 11, kita bisa menggunakan perintah di bawah ini:

sudo apt-get -y autoremove agda

Hapus Konfigurasi dan Data agda

Untuk menghapus konfigurasi dan data agda dari Debian 11 kita dapat menggunakan perintah berikut:

sudo apt-get -y purge agda

Hapus konfigurasi agda, data, dan semua dependensinya

Kita dapat menggunakan perintah berikut untuk menghapus konfigurasi agda , data dan semua dependensinya, kita dapat menggunakan perintah berikut:

sudo apt-get -y autoremove --purge agda

Referensi

  • situs web agda

Ringkasan

Dalam tutorial ini kita belajar cara menginstal agda di Debian 11 menggunakan alat manajemen paket yang berbeda seperti apt, apt-get dan aptitude.

Author: Zugul Malakiano