[darcs-users] [patch106] resolve issue1208: trackdown --bisect (complete branch...
ganesh at earth.li
Tue Mar 9 21:59:25 UTC 2010
On Sun, 7 Mar 2010, Radoslav Dorcik wrote:
> Anyway I would like to start with GADTs on PatchTree.
> Any suggestions/review comments?
GADTs aren't well documented, unfortunately. There's some old stuff here:
and other than that look in the source of Darcs.Witnesses.Ordered to get
an idea of how the contexts are threaded around.
I'll try to review what you've done so far within the next few days.
More information about the darcs-users