[darcs-users] Memory usage of Record

Ian Lynagh igloo at earth.li
Sat Sep 12 23:10:14 UTC 2009


On Mon, Aug 31, 2009 at 09:02:35AM -0700, Jason Dagit wrote:
> 
> Does camp have an optimization for this?

No; the only command I looked at optimising was "get", when I was doing
the benchmarking.


Thanks
Ian



More information about the darcs-users mailing list