Skip to content

refactor: make Comparison follow dict/Mapping protocol#671

Merged
FBumann merged 4 commits intomainfrom
comparison-mapping-ergonomics
Apr 20, 2026
Merged

refactor: make Comparison follow dict/Mapping protocol#671
FBumann merged 4 commits intomainfrom
comparison-mapping-ergonomics

Commits

Commits on Apr 20, 2026