Ein Überblick, wie du mit Cairo von Grund auf startest
Cairo ist die erste Turing-vollständige Sprache zum Erstellen beweisbarer Programme für allgemeine Berechnungen. Sie ist eine Rust-ähnliche Hochsprache. Wie Rust soll sie es Entwicklern leicht machen, effizienten und sicheren Code zu schreiben.
Wir denken, die beste Art zu lernen ist, zu spielen und zu üben, sei es durch eigene Programmierprojekte oder durch das Lösen kleiner Probleme wie der hier bei Exercism!
Hier sind einige Ressourcen, die dir den Einstieg in deine Cairo-Reise erleichtern können: