[Agda] ANNOUNCE: Agda 2.4.2.5 release candidate

[Sergei Meshveliani]

On Sat, 2015-12-19 at 15:36 +0100, Jesper Cockx wrote:
> Thank you very much for running these tests. I'm happy to see that no
> new problems were introduced by the new unifier.
> 
> 
> For the performance problems, I guess the unifier used for pattern
> matching is not a big performance bottleneck. I've noticed the same
> thing with my tests on the standard library, where unification takes
> less than 1 second of the total time. So I'm sorry that my new unifier
> didn't solve your performance problem. Still, it's good to see that
> its performance doesn't get worse on big projects.


This is nice.

Yes,  DoCon-A-dec18-2015  is large, has many subtle types, included
dependent records, and parametric modules widely imported and
substituted.

------
Sergei