Tutoriais Linux07/06/2021 Como instalar o Idris 2, uma linguagem de programação, no Ubuntu, Linux Mint, Fedora, Debian
