argumentcomputer / lurk-beta

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. (contact: @porcuquine)
https://lurk-lang.org/
Apache License 2.0
427 stars 54 forks source link

chore: rollback `call` and `chain` to accept a single argument #1223

Open arthurpaulino opened 6 months ago

arthurpaulino commented 6 months ago

Extra: build call expressions with the new (<hash> arg) way of writing to save up iterations, since we had to write ((open <hash>) arg) before.

Closes #1211