@misc{indiciae78e63e207b28,
  title = {Topological Quantum Programming in TED-K},
  author = {Hisham Sati and Urs Schreiber},
  year = {2022},
  url = {https://arxiv.org/abs/2209.08331},
  note = {Source identifier: 2209.08331}
}