[Agda] Agda error reporting

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Sat Apr 10 19:23:47 CEST 2010


On 2010-04-10 08:48, Ulf Norell wrote:
> I can't remember the exact details but making sure your terminal can
> display unicode will make the problem go away.

Make sure that your locale is something like xx_XX.utf8. You could try
the following, for instance:

  LC_CTYPE=en_CA.utf8 agda <file.agda>

--
/NAD


More information about the Agda mailing list