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
39 stars 0 forks source link

feat: mutual recursion #336

Closed arthurpaulino closed 1 week ago

arthurpaulino commented 2 weeks ago

Make letrec bindings mutually recursive.