Skip to content

Latest commit

 

History

History
27 lines (17 loc) · 799 Bytes

README.md

File metadata and controls

27 lines (17 loc) · 799 Bytes

syco8-abstract

Extended abstract for my talk at SYCO 8, '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 

GitHub actions

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

Latest release