git.iko.soy/patch
on 055f256 help sign in
history ofdevelop..055f256
compare
055f256SimplifyJohn Ericson 62bd0fcRemove redundant geqJohn Ericson efb8a9bPut back Cat.DecidablyEmptyJohn Ericson 76f010eDelete old code and format a bitJohn Ericson 4da27a8Simplify type of fixupJohn Ericson 8e3015aSimplify type of "To"John Ericson 48711bcDMapWithPatchingnMove: Restore old algoJohn Ericson ac8f411Restore the old `DMapWithMove`,John Ericson 6ef716aMerge branch 'patch-map-inner-patch-desugar' into dpatch-map-inner-patchJohn Ericson 584334fMerge branch 'patch-map-inner-patch' into dpatch-map-inner-patchJohn Ericson c3cac44WIP make old in terms of newJohn Ericson 6fcf213Merge branch 'develop' of github.com:reflex-frp/patch into dpatch-map-inner-patchJohn Ericson 08f13f2Update ChangeLog.mdJohn Ericson 5a13577Remove PatchableJohn Ericson 98634c9Appease hlintJohn Ericson c99f2d2Add decidably empty thingsJohn Ericson ab5bd5dRemove PatchDMapWithReset now that it has been accounted forJohn Ericson 6b8b77bExport Data.Patch.DMapWithMove.ByJohn Ericson 3f037afGet everything type checking againJohn Ericson 69a7ab8Over the hillJohn Ericson f78dd16WIP Generalize DMap patchingJohn Ericson d72221cTry making the "to" field at a potentially different indexJohn Ericson aa7311bWIP: Patch in PatchDMapWithMove's From_MoveJohn Ericson 7fd18c0Add notion of heterogenous patchJohn Ericson cf7b8fbGet rid of entirely-_ pattern in Group instancesJohn Ericson a74f716Merge remote-tracking branch 'origin/patch-dmap-reset' into dpatch-map-inner-patchJohn Ericson 0ec95ffAdd change log entryJohn Ericson 0918153Merge remote-tracking branch 'patch/develop' into patch-dmap-resetJohn Ericson b742380Merge branch 'develop' into patch-dmap-resetJohn Ericson 732cb14Update src/Reflex/Patch/Patchable.hsDan Bornside d66d5e9add a couple of types for working with patchesDan Bornside