[darcs-users] [patch40] stop using impredicativity

Eric Kow bugs at darcs.net
Thu Jun 24 09:53:19 UTC 2010

Eric Kow <kowey at darcs.net> added the comment:

Now that a lot of submissions have landed, is it time to revive this patch?

[Just very unsystematically trying to clear this patch tracker]

assignedto:  -> ganesh
nosy: +kowey
status: amend-in-progress -> amend-requested

Darcs bug tracker <bugs at darcs.net>

More information about the darcs-users mailing list