Closed maksbotan closed 3 years ago
Fixes #80 Fixes #78 Fixes #79
GHC 8.0 job failed due to time limit, I'm going to merge this anyway. All other GHCs succeeded.
Fixes #80 Fixes #78 Fixes #79