Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
figures @ 60309f7		figures @ 60309f7
imgs		imgs
macros @ 15903f4		macros @ 15903f4
scripts @ b63257e		scripts @ b63257e
sections		sections
.gitignore		.gitignore
.gitmodules		.gitmodules
README.md		README.md
main-presentation.tex		main-presentation.tex
main-static.tex		main-static.tex
main.tex		main.tex
refs.bib		refs.bib

Repository files navigation

lfcs-seminar

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

Latest release

About

Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'

applied-category-theory digital-circuits mealy-machines monoidal-categories string-diagrams

1 star

1 watching

Report repository

Releases

Contributors

Languages