Source and slides for BayHac 2017 presentation. Video here. Note that there are some minor errors in the presentation; I will add errata here some day.

To make from source, Agda, XeLaTeX and the XITS font must be installed.

• In the agda directory, run agda --latex BayHac.lagda.
• Then in the slides directory, run xelatex bayhac.tex. This may need to be run more than once, for example if the number of pages changes.