代码在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 文件打开。只需下载文件，而不要复制和粘贴（或者在执行此操作之前更改浏览器使用的编码）。