README.md

This repository houses a static copy of the slides for an invited seminar given at the Department of Computer Science at the University of Aberystwyth, 19th June 2017.