Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
Repository from Github https://github.comgeorgejkaye/lfcs-seminarRepository from Github https://github.comgeorgejkaye/lfcs-seminar