kontheocharis/erasure-agda Software

@misc{dagstuhl-artifact-26955,
   title = {{kontheocharis/erasure-agda}}, 
   author = {Theocharis, Constantine},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:985bed7fde164c22db65b5fc19c69f7ad8896270;origin=https://github.com/kontheocharis/erasure-agda;visit=swh:1:snp:abe007c225313601adc0da7a9844de1a8cc993e0;anchor=swh:1:rev:b840465809e71c5fc469fcd8b267a8191e931341}{\texttt{swh:1:dir:985bed7fde164c22db65b5fc19c69f7ad8896270}} (visited on 2026-07-15)},
   url = {https://github.com/kontheocharis/erasure-agda},
   doi = {10.4230/artifacts.26955},
}