This closes #83 adding commit info in the version of Apia

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

Closed jonaprieto closed 7 years ago

jonaprieto commented 7 years ago

This PR adds information in the version of Apia like this:

$ apia --version
Apia version 1.0.1-4326348

A final comment, I am using a deprecated constructor versionTags (See GHC ticket #2496) but it doesn't seem about our concern at least for now.

References:

asr commented 7 years ago

@jonaprieto, I squashed the commits and added some information from the OP.

Please delete the branch.

Thanks!