[darcs-devel] darcs patch: start gadt stuff (and 2 more)
Jason Dagit
dagit at codersbase.com
Tue Jun 12 13:17:48 PDT 2007
Tue May 29 18:18:17 PDT 2007 David Roundy <droundy at darcs.net>
* start gadt stuff
Wed May 30 10:01:00 PDT 2007 David Roundy <droundy at darcs.net>
* use more expressive types than tuples
Tue Jun 12 13:16:46 PDT 2007 Jason Dagit <dagit at codersbase.com>
* Commute has arguments backwards
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 80744 bytes
Desc: A darcs patch for your repository!
Url : http://lists.osuosl.org/pipermail/darcs-devel/attachments/20070612/b454d543/attachment-0001.bin
More information about the darcs-devel
mailing list