This page contains the supplemental materials for the ICFP 2023 paper by Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, and Ethel Tshukudu.
Appendices