Arch Linux: agda installieren

In diesem Beitrag zeige ich euch wie ihr agda unter Arch Linux installiert.

pacman -Syu agda

Das war’s auch schon. agda wurde erfolgreich installiert.