idris-mode:Idris语法高亮显示，编译器支持的编辑，交互式REPL以及Emacs的更多内容

emacs的idris-mode 这是用于编辑[Idris] [ ]代码的emacs模式。 此模式最初设计为通过IDE协议与该语言的版本1配合使用。 Idris2使用同一协议的下一个迭代。 Idris-mode试图保持与两个协议版本的兼容性，但是，Idris2中并未实现IDE-Protocol的所有功能。 当将idris-mode与Idris2一起使用时，您的体验可能会有些笨拙。 非常欢迎两个项目的PR来使事情顺利进行！ 关于语法突出显示的注意事项。 突出显示功能语言的语法有点古怪； 对于某些事情，我已经推迟到haskell模式（例如，对运算符使用font-lock-variable-name-face ），并针对Idris做了一些其他的事情。 font-lock-type-face完全不使用，例如，和数据类型声明的data使用的脸的功能，并与定义的值相同= 。 变化 请参阅存储