@misc{dagstuhl-artifact-23006,
title = {{tferariu/agda2plinth}},
author = {Ferariu, Tudor and Wadler, Philip and Melkonian, Orestis},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:03dd5b9f802117f3b5ccef0ed56d4214fee41238}{\texttt{swh:1:dir:03dd5b9f802117f3b5ccef0ed56d4214fee41238}} (visited on 2025-05-16)},
url = {https://github.com/tferariu/agda2plinth},
doi = {10.4230/artifacts.23006},
}