CPP 2022 Code
Patricia Johann and Enrico Ghiorzi
cpp22.agda