This repository was updated until March 2022 when I left Durham University. The materials herein are therefore not necessarily still in date.
Source repository for COMP52315.
Go to https://teaching.wence.uk/comp52315/ for the hosted material.
The pages can be built with hugo. For generation
of figures you need the standalone version of
diagrams.net as well as a Python
environment with numpy and
matplotlib. If these are in place, make html builds everything and puts it in site/public. In the site
subdirectory hugo server will launch a local server that autobuilds
the webpages (not figures) on change.