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

Include Git hash in Apia version #83

Closed asr closed 7 years ago

asr commented 7 years ago

The apia --version option could include the git commit at building time, i.e. the hash of the git top commit.

This feature was requested in Agda in https://github.com/agda/agda/issues/2023 and it was added in https://github.com/agda/agda/commit/5a1361f67be69aeff870a60a5f4152b4d2477ee0.

I would like the same feature for Apia but without using Template Haskell.

@jonaprieto, I assigned you this issue.