A repo for some content for a workshop organised by Prof. Harper and myself.