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