on 055f256 help sign in
all commits
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