![编码和 Emacs 文件](https://linux22.com/image/1611752/%E7%BC%96%E7%A0%81%E5%92%8C%20Emacs%20%E6%96%87%E4%BB%B6.png)
代码在http://www.cse.chalmers.se/~abela/ssft18/lec1/Prelude.agda会引起编码问题。例如 â†' 应该显示为 →。另一个示例是 â„•,它应该显示为 ℕ。
我从上面的网站获取代码并将其粘贴到 Emacs 文件中。
我认为我需要进行的字符转换是从“西方”到“Unicode”。
有没有一种方式可以自动纠正上述网站中的所有这些错误?
理想情况下,我可以在我的 Emacs 文件中执行此操作,但如果这不可能,那么了解进行转换的方法仍然非常有用。
我尝试应用以下网站上的一些建议 https://emacs.stackexchange.com/questions/34585/how-convert-txt-file-to-utf-8-from-windows-1251 但它们不起作用
答案1
实际上,问题在于浏览器无法将其作为 UTF-8 文件打开。只需下载文件,而不要复制和粘贴(或者在执行此操作之前更改浏览器使用的编码)。