search

jonaprieto / online-atps

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

Fixed compilation with GHC 8.4.2. #47

Closed asr closed 6 years ago

asr commented 6 years ago

What the title says.

asr commented 6 years ago

The missing support for GHC 8.4.2 is blocking https://github.com/asr/apia/issues/100.