Artifact for Symmetries in Sorting Software

@misc{choudhuryAgdasymmetries2025,
   title = {{Artifact for Symmetries in Sorting}}, 
   author = {Choudhury, Vikraman and Wong, Wind},
   note = {Software, 101106046, 101115046, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:5e86a19fe276e62519af96e6bf3c8ec42f8fe4f2;origin=https://github.com/windtf/agda-symmetries;visit=swh:1:snp:ee1178405c990e0e7f94b69c8029d18a6fff6ded;anchor=swh:1:rev:58ed7d1d33bc9b12cb95d1e31dfb49446a7d3119}{\texttt{swh:1:dir:5e86a19fe276e62519af96e6bf3c8ec42f8fe4f2}} (visited on 2026-07-30)},
   url = {https://github.com/windtf/agda-symmetries},
   doi = {10.4230/artifacts.26218},
}