Arch Linux: idris installieren

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

pacman -Syu idris

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