search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

Fixed compilation with GHC 8.2.1. #46

Closed asr closed 7 years ago

asr commented 7 years ago

I tested the PR with GHC 8.2.1 RC1.

jonaprieto commented 7 years ago

Thank you.