Огляд того, як почати роботу з Cairo з нуля.
Cairo - перша повна за Тюрінгом мова для створення доказових програм для загальних обчислень. Це Rust-подібна мова високого рівня. Як і Rust, вона покликана дозволити розробникам легко писати code, який є ефективним і безпечним.
Ми вважаємо, що найкращий спосіб навчатися - гратися і практикуватися, або створюючи власні проєкти з програмування, або розвʼязуючи маленькі задачі, як ті, що тут на Exercism!
Нижче наведено кілька ресурсів, які можуть допомогти розпочати подорож із Cairo: