This is the companion formalisation for my Master's thesis. To build it, you'll need Agda version 2.6.1 and a registered agda-stdlib version 1.3. Then proceed as follows:
git clone https://github.com/JLimperg/msc-thesis-code <dir>
cd <dir>
git submodule init
git submodule update
agda src/index.agda
The last command typechecks all modules belonging to the formalisation.