Der Code inhttp://www.cse.chalmers.se/~abela/ssft18/lec1/Prelude.agdaführt zu einem Kodierungsproblem. Beispielsweise sollte â†' als → angezeigt werden. Ein anderes Beispiel ist â„•, das als ℕ erscheinen sollte.
Ich habe den Code von der oben genannten Website genommen und in eine Emacs-Datei eingefügt.
Ich denke, die Zeichenänderung, die ich durchführen muss, ist von „Western“ zu „Unicode“.
Gibt es eine automatische Möglichkeit, alle diese Fehler auf der oben genannten Website zu korrigieren?
Im Idealfall könnte ich dies in meiner Emacs-Datei tun, aber auch wenn dies nicht möglich ist, wäre es dennoch sehr nützlich, eine Möglichkeit zur Konvertierung zu kennen.
Ich habe versucht, einige der Vorschläge auf der folgenden Website anzuwenden https://emacs.stackexchange.com/questions/34585/wie-konvertiert-sie-eine-txt-datei-in-utf-8-von-windows-1251 aber sie funktionieren nicht
Antwort1
Das eigentliche Problem besteht darin, dass der Browser die Datei nicht als UTF-8-Datei öffnet, obwohl sie eine ist. Laden Sie die Datei einfach herunter, anstatt sie zu kopieren und einzufügen (oder ändern Sie vorher die vom Browser verwendete Kodierung).