Код в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, хотя он открывается. Просто скачайте файл вместо копирования и вставки (или измените кодировку, которую использует браузер, прежде чем вы это сделаете).