on 8cd0fc5 help sign in
patch/src
1 folder
../ Data/Reimplement MapWithWithMove in terms of MapWithPatchingMove