Arch Linux: agda-stdlib installieren

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

pacman -Syu agda-stdlib

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