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: http://wiki.darcs.net/Ideas/GADTPlan
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. Cheers, Ganesh _______________________________________________ darcs-users mailing list darcs-users@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-users
