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 some guidelines for hacking Apia #57

Closed jonaprieto closed 7 years ago

jonaprieto commented 8 years ago

Apia has its own style and its own way to do certain things. I suggest putting all those clear and explicit. For the good of new contributors. I hope this helps.

asr commented 7 years ago

I'm waiting your modifications for merging this PR.

jonaprieto commented 7 years ago

I closed this but I open a new PR.