search

argumentcomputer / lurk

Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
https://docs.argument.xyz
MIT License
47 stars 3 forks source link

support destructuring Funs #378

Open porcuquine opened 2 weeks ago

porcuquine commented 2 weeks ago

We need to be able to extract the components of a fun. The following should work:

(let ((square (lambda (x) (* x x))))
  (list (fun-args square) (fun-body square) (fun-env square)))