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文件打开。只需下载文件即可，而不是复制和粘贴（或先更改浏览器使用的编码）。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句