Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
46
stars
3
forks
source link
unbound var error should report the name of the unbound var #382
Open
porcuquine opened 2 weeks ago