Una introducción a cómo empezar desde cero con Cairo
Cairo es el primer lenguaje Turing-completo para crear programas demostrables de computación general. Es un lenguaje de alto nivel similar a Rust. Al igual que Rust, pretende que los desarrolladores puedan escribir fácilmente código eficiente y seguro.
Creemos que la mejor forma de aprender es jugar y practicar, ya sea creando tus propios proyectos de programación o resolviendo pequeños problemas como los que encontrarás aquí, en Exercism.
A continuación tienes algunos recursos que pueden ayudarte a dar los primeros pasos con Cairo: