DeepSpec Summer School, July 13-28, 2017
Property-based random testing with QuickChick Benjamin Pierce
The dsss17 repository contains lecture notes and homework for this lecture in the qc/ directory.
The dsss17 repository contains lecture notes and homework for this lecture in the qc/ directory.