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

add haddock documentation for getVersion function #92

Closed jonaprieto closed 7 years ago

jonaprieto commented 7 years ago

Sorry, I couldn't install Apia due to #93 to check haddock

jonaprieto commented 7 years ago

Sorry, but I don't get it. I'm seeing the docs after running haddock but for me it's ok. Could you fix this and maybe I can see what you are talking about. Thanks.

asr commented 7 years ago

I'm seeing the docs after running haddock but for me it's ok.

You're right. Sorry.