GSoC 2012: “Patch Index Optimization for Darcs”

Created by gwern on 2012-04-24; known on 2013-01-01; judged right by gwern on 2013-01-01.

• gwern estimated 80% on 2012-04-24
• gwern said “discussion & judgment criteria: http://www.gwern.net/Haskell%20Summer%20of%20Code#predictions” on 2012-04-25
• gwern   judged this prediction right on 2013-01-01.