News for hackers. Stuff that matters.

A comment on Darcs as a higher inductive type. Parent comment

Re:Darcs as a higher inductive type by mietek on Monday January 20, 2014 @11:59AM (#7090465)
Do you have a timeframe for these speed issues? darcs has been considerably sped up over the past years.
[ Parent | on HN ]

There are no comments on this comment yet.