RFC: "Native -XCPP" Proposal

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed May 6 21:47:50 UTC 2015


Hi Janek,

On 6 May 2015 at 14:55, Jan Stolarek <jan.stolarek at 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-dev at lists.chalmers.se).

Best,

-- 
Andrés


More information about the Libraries mailing list