Commit Graph

4 Commits (f0afa18cbf9135c8ef5a6634255fc52b33839d86)

Author SHA1 Message Date
Josh Berdine ae3c059fe9 [sledge] Define Set as a functor over the Tree underlying Core.Set 5 years ago
Josh Berdine 2ca98c80ff [sledge] Rename vector to iarray 5 years ago
Josh Berdine 5dbb4a6fc2 [sledge] Dedup Set signature 5 years ago
Josh Berdine 93a9c823fc [sledge] Move Import.Set to separate module 5 years ago