Atom editor 编译Agda文件时出现无法解释的词法错误

（你好，提前谢谢） 我正在agda中完成HoTT的介绍

当我阅读课堂讲稿时，启动了我自己的Agda项目（2个文件，几乎不是一个项目），但是从Atom的Agda模式菜单加载我的文件时，我遇到了这个错误

agda:14,19:词法错误（无法打印的字符）： ℓ

我返回并将agda文件加载到课堂讲稿的git项目中，它可以进行打字检查。 我甚至用原始完整（和类型检查）文件中的同一行替换了有问题的代码行，但仍然得到了相同的错误

---

也许这是一个容易解决/愚蠢的问题，希望我能得到一些帮助

如果你发布了有问题的文件，你会得到更多的帮助，因为否则很难猜出哪里出了问题。如果我不得不猜，我会说这与你的Atom配置有关。如果你没有在你的问题上加原子标签。我经常会犯这样的错误，你有没有试着在没有复制和粘贴的情况下把这行写出来？是的，我最初是打印出来的，我最后复制和粘贴来测试错误的程度