Skip to content

feat: allow separate operator names for pretty printing#122

Merged
MilesCranmer merged 1 commit intomasterfrom
allow-pretty-operators
Feb 28, 2025
Merged

feat: allow separate operator names for pretty printing#122
MilesCranmer merged 1 commit intomasterfrom
allow-pretty-operators

Commits

Commits on Feb 28, 2025