News for hackers. Stuff that matters.

velkyel

vimium
Re:Darcs as a higher inductive type on Monday January 20, 2014 @11:06AM (#7090154)
I have used darcs a lot. But when our repo contained more then 1000 patches it becomes very slow. For example source file annotation took more than 2 minutes. I have tried optimizations, tagging etc. without bigger improvements. I still like darcs for its simplicity, cherry picking, great interactivity, etc.. However i need something a little bit faster. Another disadvantage is poor emacs support.