Buscar
Tag: Idris
Posts do autor
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…