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

chore: enhance `ReservedTag::to_field` #309

Closed arthurpaulino closed 2 months ago

arthurpaulino commented 2 months ago

Make it so that Tag::to_field doesn't need to skip reserved tags by pushing reserved tags to start from where tags end.