on aa7311b help sign in
patch/src/Data
3 folders, 1 file
../ Functor/Remove unused constraints Monoid/Add back accidentally removed docs and weaken `Eq p` constraint Patch/WIP: Patch in PatchDMapWithMove's From_Move Patch.hsAdd notion of heterogenous patch