Skip to content

Fix Interval.Union with unbounded bounds#11

Merged
andrew merged 1 commit intomainfrom
fix-interval-union
Feb 22, 2026
Merged

Fix Interval.Union with unbounded bounds#11
andrew merged 1 commit intomainfrom
fix-interval-union

Commits

Commits on Feb 19, 2026