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

Remove the requirement of `awk` from the test-suite #87

Closed asr closed 7 years ago

asr commented 7 years ago

make non_conjectures requires awk.

jonaprieto commented 7 years ago

what about cut or sed?

asr commented 7 years ago

I changed my mind. Let's keep awk.