These are chat archives for unisonweb/unison
distributed-sort : Order a -> Vector a -> Remote loc loc (Vector a) transfer : Node -> Remote loc1 loc2 Unit scope : Remote loc1 loc2 a -> Remote loc1 loc1 a
transferchanges the location of the computation...
scope(bad name, maybe
restore?) ensures that wherever the computation goes, control is returned back to its starting location
newtype Remote’ loc-start loc-end a = Remote’ (Remote a)
transfera type like
(n : Node) -> Remote loc1 n Unit