[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>
<http://bugs.darcs.net/patch40>
__________________________________


More information about the darcs-users mailing list