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