search

starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.
Apache License 2.0
1.6k stars 495 forks source link

LS: Upgrade typescript version #6684

Open Arcticae opened 1 day ago

Arcticae commented 1 day ago

We can use a newer version which has quite a few improvements i.e. in terms of type guarding