6 May
2015
6 May
'15
5:47 p.m.
Hi Janek,
On 6 May 2015 at 14:55, Jan Stolarek
Yes, and that's what gets me worried. I suppose the problem was somehow related to my locale settings although we were unable to track down the cause. I also recall someone else reported being affected by the same problem.
AFIK, the only cpphs-Agda open problem is your problem. I would like to know if anyone else has some problem. If so, I propose to move the discussion to the Agda developers list (agda-dev@lists.chalmers.se). Best, -- Andrés