Paul Chiusano 50a6eaf0a1 Improve performance of various relation operations ... - Use logarithmic lookups rather than O(n^2) algorithm for restrictDom/Ran - Remove some duplication by defining some functions in terms of each other, using swap - subtractDom/Ran avoids traversing the whole relation, O(k log k) - Use Map.intersectWith for intersection, rather than scanning either relation		2022-04-16 16:49:30 -05:00
..
unison-prelude	Remove toIO from prelude	2022-04-01 16:07:25 -06:00
unison-pretty-printer	use explicit deriving strategies where it's ambiguous	2022-03-31 16:26:09 -04:00
unison-sqlite	Add MonadUnliftIO to unison-prelude	2022-04-01 10:59:56 -06:00
unison-util-relation	Improve performance of various relation operations	2022-04-16 16:49:30 -05:00