Codificação e um arquivo Emacs

Question

O código emhttp://www.cse.chalmers.se/~abela/ssft18/lec1/Prelude.agdadá origem a um problema de codificação. Por exemplo â†' deve ser exibido →. Outro exemplo é ℕ, que deve aparecer como ℕ.

Peguei o código do site acima e colei em um arquivo Emacs.

Acho que a mudança de caractere que preciso realizar é de "Ocidental" para "Unicode".

Existe uma maneira automática de corrigir todos esses erros no site acima?

Idealmente, seria algo que eu pudesse fazer no meu arquivo Emacs, mas se isso não for possível, ainda seria muito útil saber uma maneira de fazer a conversão.

Tentei aplicar algumas das sugestões do seguinte site https://emacs.stackexchange.com/questions/34585/how-convert-txt-file-to-utf-8-from-windows-1251 mas eles não funcionam

Answer 1

Na verdade, o problema é que o navegador não o abre como um arquivo UTF-8 quando está. Basta baixar o arquivo em vez de copiar e colar (ou alterar a codificação que o navegador usa antes de você).