Bump stack resolver - Githubissues

nick8325 / quickspec

Equational laws for free

BSD 3-Clause "New" or "Revised" License

250 stars 24 forks source link

Bump stack resolver #71

Closed straszydlo closed 2 years ago

straszydlo commented 2 years ago

Includes a tiny correction since Data.List now also exports singleton, and it clashes with the one defined by Twee - to allow compiling with GHC 9.0.2; a QuickCheck version bump and primitive version bump.

nick8325 commented 2 years ago

Thanks!