Intervals in ℤ #
This file defines integer ranges. range m n
is the set of integers greater than m
and strictly
less than n
.
Note #
This could be unified with Data.List.Intervals
. See the TODOs there.
This file defines integer ranges. range m n
is the set of integers greater than m
and strictly
less than n
.
This could be unified with Data.List.Intervals
. See the TODOs there.