on 48711bc help sign in
patch/src/Data
3 folders, 1 file
../ Functor/Merge branch 'patch-map-inner-patch-desugar' into dpatch-map-inner-patch Monoid/Fix warnings Patch/DMapWithPatchingnMove: Restore old algo Patch.hsRestore the old `DMapWithMove`,