3 ms·An abstract example of refactoring from interaction-based to property testing1 points by ghuntley 4y ago