Tag: idris

• [27/09/2020] ¿Qué es Idris y por qué es un lenguaje de programación tan interesante?
• [15/08/2020] Teletexto #007