search

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

[ online-atps ] Upgrade to v0.1.1 #94

Closed jonaprieto closed 7 years ago

jonaprieto commented 7 years ago

@asr, This PR is to support the new version of online-atps.

Improving this tool, I added support for GHC 8.0.2, remove some dependencies, added some tests, documentation, cosmetics, typos, cabal and so on. Maybe it can be available to publish later in hackage.

asr commented 7 years ago

Travis failed.

Also, good tools have short names and don't use hyphen in their names, but it is up to you.

jonaprieto commented 7 years ago

Uhmm 0k. What about oprover from online and prover.

asr commented 7 years ago

What about oprover from online and prover.

:-1:

asr commented 7 years ago

Please delete the branch.

jonaprieto commented 7 years ago

It's hard to think a good name, isn't?

asr commented 7 years ago

Yes, it's.

asr commented 7 years ago

Hint: the name hasn't be an acronyms nor related to the tool.