package rope version = 0.0.1 main = Main executable = rope depends = contrib modules = Main , Data.Rope , Data.Rope.Splittable , Data.Rope.Generic , Data.Rope.Utils.Lemmas , Data.Vect.Lazy , Data.IArray