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
chore: some minor improvements
#1210
Closed
arthurpaulino
closed
3 months ago
arthurpaulino
commented
3 months ago
avoid some copies where we already require ownership
use
car_cdr_simple
where we're not interested in deconstructing strings
use
fetch_cons
where we explicitly require the pointer's tag to be
Cons
car_cdr_simple
where we're not interested in deconstructing stringsfetch_cons
where we explicitly require the pointer's tag to beCons