using property-based tests: a study session that did not turn into more notes · PitHub