lurk-lab / lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
https://lurk-lang.org/
Apache License 2.0
418 stars 54 forks source link

chore: Update Rust toolchain #1252

Closed huitseeker closed 1 week ago

huitseeker commented 1 week ago

Companion PR of https://github.com/lurk-lab/arecibo/pull/388 Fixes #1251