Slides for talk on Language-Integrated Verification - View it on GitHub