lfcs-seminar Slides for my talk at the LFCS seminar, A compositional theory of digital circuits. Latest release