replace all print outs with failure with `die` - Githubissues

jonaprieto / online-atps

Run ATPs from SystemOnTPTP

MIT License

6 stars 1 forks source link

replace all print outs with failure with `die` #22

Closed jonaprieto closed 8 years ago

jonaprieto commented 8 years ago

Use Doc type for messages