Hi Janek, On 6 May 2015 at 14:55, Jan Stolarek <jan.stola...@p.lodz.pl> wrote: > 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-...@lists.chalmers.se). Best, -- Andrés _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
