DeMeo, W., & Carette, J. (2021). agda-algebras (Version 2.0.1) [Computer software]. https://doi.org/10.5281/zenodo.5730534