On 10/23/07, David Roundy <droundy at darcs.net> wrote: > I'm afraid we haven't written them up. But if you were to read the code, > you'd find that it's pretty clear, and it's definitely been discussed on > the mailing list. OK