chore: generalize compact interning and fetching

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: generalize compact interning and fetching #1237

Closed arthurpaulino closed 5 months ago

arthurpaulino commented 5 months ago

Interning/fetching environments and provenances share the same logic, so we can unify their implementations to improve code reusability.