aboutsummaryrefslogtreecommitdiff
path: root/lang/cairo/pkg-descr
blob: fe3a65787f3fadeb7fd6f9858def2a7e603bd862 (plain) (blame)
1
2
Cairo is the first Turing-complete language for creating provable programs for
general computation.