Support for GHC 8.4.2 - Githubissues

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

Open asr opened 6 years ago

asr commented 6 years ago

GHC 8.4.1-alpha1 was announced. I created this issue for collecting the required changes.

Last edit: 2018-04-22

Fixed issues (for the record):

asr commented 6 years ago

GHC 8.4.2 was announced. Testing...

asr commented 6 years ago

The PR #101 failed (see Travis log) due to online-atps, so I filled the PR https://github.com/jonaprieto/online-atps/pull/47.