Skip to content

feat: remove redundant predicate from brillig quotients#2784

Merged
TomAFrench merged 1 commit intomasterfrom tf/remove-redundant-predicateSep 26, 2023

Commits

Commits on Sep 22, 2023