issues
search
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
ci: Fix `nightly.yml` deps
#1206
Closed
samuelburnham
closed
3 months ago
samuelburnham
commented
4 months ago
Closes #1204, closes #1205
Closes #1204, closes #1205