The paper automatically compiles with a github action on every commit (status: )
It is available at: https://oisdk.github.io/combinatorics-paper/paper.pdf
The (highlighted, clickable) agda code is available at: https://oisdk.github.io/combinatorics-paper/README.html