Conflict with the new Agda library management

asr / apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic

MIT License

6 stars 0 forks source link

Conflict with the new Agda library management #77

Open asr opened 7 years ago

asr commented 7 years ago

$ cat .agda/defaults 
standard-library
...

$ /test/succeed/fol-theorems
$ agda --no-default-libraries Record.agda
$apia Record.agda
apia: The reading of the interface file .../Record.agdai failed. It is possible that you used a different version of Agda to build the Apia program and to type-check your module

Workaround: Remove standard-library from the defaults libraries.