Tag Archives: merge

Counting inversions with monoidal sparks

Time for me to reveal the example I had in mind that led to the generalization in my previous post. Thanks for all the interesting comments: it seems like there are some interesting connections to be explored (e.g. to the … Continue reading

Posted in math | Tagged , , , , , , , , | 7 Comments

Patch theory, part II: some basics

(Previous posts here, and here.) So, let’s talk about patch theory! I should start by saying that I have obviously drawn a lot of ideas and inspiration from darcs, and especially from the wikibook explanation of darcs patch theory, but … Continue reading

Posted in haskell, learning, projects | Tagged , , , , | 6 Comments