代碼在http://www.cse.chalmers.se/~abela/ssft18/lec1/Prelude.agda會產生編碼問題。例如→應該顯示→。另一個例子是ℕ，它應該顯示為ℕ。
我從上面的網站獲取了程式碼並將其貼到 Emacs 檔案中。
我認為我需要進行的字元更改是從“Western”到“Unicode”。
是否有一種自動方法可以糾正上述網站中的所有這些錯誤？
理想情況下，我可以在 Emacs 檔案中執行此操作，但如果不可能，了解轉換的方法仍然非常有用。
我嘗試應用以下網站上的一些建議 https://emacs.stackexchange.com/questions/34585/how-convert-txt-file-to-utf-8-from-windows-1251 但它們不起作用
答案1
實際上，問題在於瀏覽器沒有將其作為 UTF-8 檔案開啟。只需下載文件，而不是複製和貼上（或在此之前更改瀏覽器使用的編碼）。