This closes #84 adding --no-config-file option

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

asr commented 7 years ago

Run make tests and fix the problem, please.

I'll fix it.

jonaprieto commented 7 years ago

Yeah, you are right, it is not necessary. We can not have in .apia this option, it'd be ridiculous. Thanks.

asr commented 7 years ago

Run make tests and fix the problem, please.

I'll fix it.

Done! I'll kill the previous Travis jobs.

asr commented 7 years ago

Thanks!

asr commented 7 years ago

Please delete the branch from GitHub.