PredictionBook is now read-only ( read more ).

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.