slavaschmidt/pat-talk

Accompanying repo for the property-based talk