Skip to content

Add Ord instances for Interval, IntervalSet and IntervalMap#41

Merged
Bodigrim merged 2 commits intomsakai:masterfrom googleson78:gl/ord-instancesSep 11, 2023

Commits

Commits on Sep 11, 2023