[Agda] UTF in Ubuntu

[Nils Anders Danielsson]

On 10/12/2018 20.45, mechvel at scico.botik.ru wrote:
> I am sorry, I have forgotten of how do I call emacs!
> I call it via alias as
>                         emacs -nw

If you run Emacs in a terminal, then I guess the terminal's font is used
for Emacs.

-- 
/NAD