Closed MattWindsor91 closed 5 years ago
The upstream libraries have changed in breaking ways: for example, Quickcheck's function names have all changed, and most of Core_extended has gone for walkies. This will be a fairly tedious fix-up.
Quickcheck
Core_extended
The upstream libraries have changed in breaking ways: for example,
Quickcheck's function names have all changed, and most ofCore_extendedhas gone for walkies. This will be a fairly tedious fix-up.