Slides and Manuscript for “A Beginner's Guide to Logical Relations for a Logical Framework”

The main files are slides.tex and report.tex. Follow the % !TEX TS-program meta directive in the respective file for building.

Prebuilt PDFs can be found in ./build:

• latest version, and same with Beamer notes
• version presented in official talk 2021-01-27, and same with Beamer notes

For the slides, there are two versions you can build: one without and one with attached Beamer notes. Comment or uncomment the respective line \setbeameroption{show notes on second screen} in slides.tex to switch between both variants.

How to update anything (make corrections)

1. For the slides:

   1. Activate notes as described above.
   2. Build as hinted at above, then move ./build/slides.pdf to ./build/slides-with-notes.pdf.
   3. Deactivates notes.
   4. Build. (And leave generated ./build/slides.pdf as-is.)

2. For the report (aka manuscript, guide): build as hinted at above.

3. For everything: copy the updated files ./build/slides.pdf and ./build/report.pdf to https://gl.kwarc.info/supervision/seminar/-/tree/master/WS2021/logrels (as slides.pdf and guide.pdf, respectively) and keep the sources there synced with the sources here.