Code supporting "Constructing Infinitary Quotient-Inductive Types"
Marcelo Fiore, Andrew M. Pitts, S. C. Steenkamp · Apollo (University of Cambridge) · 2020
Agda code (source and html) supporting the paper "Constructing Infinitary Quotient-Inductive Types" in 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020), Dublin, Ireland 2020. See README file for more information.