cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- name: "The Agda Community"
title: "Agda Standard Library"
version: 2.1
date-released: 2024-07-27
url: "https://github.com/agda/agda-stdlib"