mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-29 01:13:08 +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.
|