search

jonaprieto / online-atps

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

Supported aeson 1.3.*. #48

Closed asr closed 6 years ago

asr commented 6 years ago

What the title says. Tested with GHC 8.2.2

jonaprieto commented 6 years ago

Thanks!