on dpatch-map-inner-patch 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/Improve error Patch.hsRestore the old `DMapWithMove`,