·
88 commits
to main
since this release
This contains the formalisation of the 2024 ICFP paper "Dependent Ghosts Have a Reflection for Free".
DOI: https://doi.org/10.1145/3674647