Agda加载文件后Unicode字符变为问号问题求助

• 检查字体支持
  Agda需要能显示Unicode数学符号的字体，先确认VSCode使用的字体包含这些字符。推荐用DejaVu Sans Mono、Fira Code或者专门的Agda Unicode字体。
  操作：按Ctrl+,打开VSCode设置，搜索Editor: Font Family，把支持的字体放在最前面，比如设置成：

  DejaVu Sans Mono, Fira Code, monospace
  

• 配置Agda扩展的专属字体
  Agda扩展有自己的字体设置，可能会覆盖VSCode全局设置。打开设置搜索Agda: Font Family，设置成支持Unicode的字体，例如：

  Agda Unicode, DejaVu Sans Mono
  

• 确认文件编码为UTF-8
  确保你的Agda文件是用UTF-8编码保存的。打开文件后，点击VSCode右下角的编码标识（比如显示UTF-8），选择Reopen with Encoding，选UTF-8重新打开后再保存。

• 更新Agda和VSCode扩展
  旧版本的Agda或其VSCode扩展可能存在字符渲染的bug。打开VSCode扩展市场，找到Agda扩展点更新；同时用包管理器把Agda更到最新稳定版：
  用stack的话：

  stack update && stack install agda
  

  用cabal的话：

  cabal update && cabal install agda
  

• 清理VSCode缓存
  VSCode的缓存偶尔会导致渲染异常。关掉VSCode，删除对应目录的缓存文件（记得备份重要设置）：

  • Windows：%APPDATA%\Code\Cache
  • macOS：~/Library/Caches/Code
  • Linux：~/.cache/Code

内容的提问来源于stack exchange，提问作者Werner Germán Busch