syco8-slides

Slides for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'.

Setting up

This project uses submodules to share diagrams and things between repos. To make sure you have them all pulled, do this to initialise them:

git submodule update --init

Occasionally you might want to do this to update the submodules:

git submodule foreach git pull origin main

Every time you push with a head commit that starts with [build], the latex will be compiled and put in a release.