@misc{cubicalagdalib,
 title = {The {C}ubical {A}gda Library},
 author = {The {agda/cubical} Contributors},
 year = {2024},
 url = {https://github.com/agda/cubical}
}