Tag Idris 2

como-instalar-o-idris-2-uma-linguagem-de-programacao-no-ubuntu-linux-mint-fedora-debian

Como instalar o Idris 2, uma linguagem de programação, no Ubuntu, Linux Mint, Fedora, Debian

Uma linguagem de programação puramente funcional com tipos de primeira classe. Neste tutorial, saiba como instalar o Idris 2 no Linux, usando pacotes snap.