ghc versions supported - 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

ghc versions supported #89

Closed jonaprieto closed 7 years ago

jonaprieto commented 7 years ago

There is not place in the README.md file mentioning what versions of GHC Apia support. This information is crucial and I know is available on apia.cabal, why not in the README? what do you think about adding it?

asr commented 7 years ago

Please added it.