lurk-lab / arecibo

An advanced fork of Nova
https://lurk-lang.org/
MIT License
63 stars 27 forks source link

feat: Implement `Clone` trait for various structs #364

Closed huitseeker closed 3 months ago

huitseeker commented 3 months ago

This is motivated by a companion update to Lurk, where the compression mechanism requires returning a uniform type upon calling .compress() on a proof that can be recursive or compressed.

[!NOTE] See use in https://github.com/lurk-lab/lurk-rs/pull/1214