코드는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 파일로 열 때 열리지 않는다는 것입니다. 복사하여 붙여넣는 대신 파일을 다운로드하기만 하면 됩니다(또는 그 전에 브라우저에서 사용하는 인코딩을 변경하세요).