解析错误：Agda 与其标准库版本不匹配
Parse errror: version mismatch between Agda and its standard library
我是 运行 预构建的 Windows Agda 版本 2.4.2.2。在 Emacs/Agda2 Include Dirs 中，我确定了 c:/agda-stdlib-0.13/src 和下一级文件夹。
加载仅包含这两行的模块时，我收到一条错误消息。
module test1 where
open import Integer
错误信息：
C:\agda-stdlib-0.13\src\Data\Empty.agda:13,5-5
C:\agda-stdlib-0.13\src\Data\Empty.agda:13,5: Parse error
HASKELL<ERROR> data AgdaEmpty #-} {-# COMPIL...
库的正确安装是否遗漏了什么？
你的 Agda 很旧。有关库兼容性，请参阅 this page。这个库需要 Agda 2.5.2。
我是 运行 预构建的 Windows Agda 版本 2.4.2.2。在 Emacs/Agda2 Include Dirs 中，我确定了 c:/agda-stdlib-0.13/src 和下一级文件夹。 加载仅包含这两行的模块时，我收到一条错误消息。
module test1 where
open import Integer
错误信息：
C:\agda-stdlib-0.13\src\Data\Empty.agda:13,5-5
C:\agda-stdlib-0.13\src\Data\Empty.agda:13,5: Parse error
HASKELL<ERROR> data AgdaEmpty #-} {-# COMPIL...
库的正确安装是否遗漏了什么？
你的 Agda 很旧。有关库兼容性，请参阅 this page。这个库需要 Agda 2.5.2。