コードhttp://www.cse.chalmers.se/~abela/ssft18/lec1/Prelude.agdaエンコードの問題が発生します。たとえば、â†' は → と表示される必要があります。別の例として、â„• は ℕ と表示される必要があります。
上記の Web サイトからコードを取得し、それを Emacs ファイルに貼り付けました。
実行する必要がある文字変更は、「Western」から「Unicode」への変更だと思います。
上記の Web サイトのこれらの間違いをすべて自動的に修正する方法はありますか?
理想的には、Emacs ファイルで実行できるものになりますが、それが不可能な場合でも、変換を行う方法を知っておくと非常に役立ちます。
私は以下のウェブサイトの提案のいくつかを適用しようとしました https://emacs.stackexchange.com/questions/34585/how-convert-txt-file-to-utf-8-from-windows-1251 しかし、それらは機能しない
答え1
実際のところ、問題はブラウザが UTF-8 ファイルとして開かないことです。コピーして貼り付けるのではなく、ファイルをダウンロードしてください (または、ダウンロードする前にブラウザが使用するエンコードを変更してください)。