Commit 2022-12-16 12:16 de900e03
View on Github →feat: port Data.Set.Intervals.OrderIso (#1067) I am not sure about the names of the last two defs. Almost perfect, capitalization of Icc and friends was wrong and one trivial correction.
feat: port Data.Set.Intervals.OrderIso (#1067) I am not sure about the names of the last two defs. Almost perfect, capitalization of Icc and friends was wrong and one trivial correction.