Cómo instalar ATS en Arch Linux

ATS es un lenguaje de programación de sistemas que unifica implementación con especificación formal. Pese a ser poco conocido, es uno de los mejores lenguajes de programación que existen, superando la seguridad de Haskell y alcanzando a C y C++ en eficiencia. En este breve artículo explico cómo instalarlo en Arch Linux.

Continue reading Cómo instalar ATS en Arch Linux