Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
47
stars
3
forks
source link
chore: drop `Tuple100`-related API #367
Closed
arthurpaulino closed 3 weeks ago
We're not constructing this kind of data anymore - since
Thunk
s (nowFix
) were changed.