Polygraphs in Agda Software

@misc{git,
   title = {{Polygraphs in Agda}}, 
   author = {Mimram, Samuel},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:27f2a0c3a496b72c3f4cd458ab51ea174f448eb7;origin=https://github.com/smimram/agda-polygraphs;visit=swh:1:snp:6e6d2ec50a9e996376d3965407b63e649c003f96;anchor=swh:1:rev:d3c1757f5b405f2035efda8cd825e5a53bcd6ed8}{\texttt{swh:1:dir:27f2a0c3a496b72c3f4cd458ab51ea174f448eb7}} (visited on 2025-07-07)},
   url = {https://github.com/smimram/agda-polygraphs},
   doi = {10.4230/artifacts.23666},
}