Hi Janek, On 6 May 2015 at 14:55, Jan Stolarek <[email protected]> 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 ([email protected]). Best, -- Andrés _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
