解析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這個庫。