解析errror：Agda和其标准库之间的版本不匹配

Question

我正在运行预构建的Windows Agda版本2.4.2.2。在Emacs/Agda2包括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... 

东西是从图书馆的正确安装失踪？

Answer 1

Your Agda is old。有关库兼容性，请参阅this page。你需要Agda 2.5.2这个库。