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上应用一些建议， 但他们没有不工作
实际上问题是浏览器没有将其作为 UTF-8 文件打开。只需下载文件而不是复制和粘贴（或在您这样做之前更改浏览器使用的编码）。