¿Qué es Idris y por qué es un lenguaje de programación tan interesante? » blog.adrianistan.eu | blog.adrianistan.eu