[Agda] sym in Agda 2.5.1

[Andrés Sicard-Ramírez]

On 16 February 2016 at 08:22, John Leo <leo at halfaya.org> wrote:
> I could swear I was using 2.4.x before 2.5.1, so does that mean it was
> changed after 2.4.0 and then changed back in 2.5.1, or am I just confused
> and must have been using 2.3.x before?

I got the full normalised types with 2.4.2.5 without using C-u C-u. I
need to make some tests to clear up confusion...


-- 
Andrés