[Agda] unicode input

[Nils Anders Danielsson]

On 2016-05-18 13:42, Martin Escardo wrote:
> My emacs is 24.3.1 under ubuntu 14.04.
>
> Any ideas?

> PS 1. This doesn't happen in a laptop running ubuntu 16.06 with emacs 24.5.1.

Perhaps some bug has been fixed.

> PS 2. In both machines, when the offending characters are displayed
> correctly, still we have a problem that a blank line is displayed
> above the character's line, and also below.

Perhaps this problem can be fixed by upgrading Emacs:

   https://www.reddit.com/r/agda/comments/4h8ws2/warning_to_people_using_fancy_unicode_bug20628/

-- 
/NAD