mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
3 lines
100 B
Plaintext
3 lines
100 B
Plaintext
Cairo is the first Turing-complete language for creating provable programs for
|
|
general computation.
|