Companion to ICFP paper

This contains the formalisation of the 2024 ICFP paper "Dependent Ghosts Have a Reflection for Free".
DOI: https://doi.org/10.1145/3674647