Cairo is the first Turing-complete language for creating provable programs for general computation.
1.6k
stars
495
forks
source link
fixed a bug where the trait of trait impl were not substituted correctly #6421
Closed
TomerStarkware closed 1 month ago
This change is