@misc{indiciaed1ca00e3f7ee,
  title = {pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation},
  author = {Triera Gashi and Sophie Adeline Solheim Bosio and Joachim Tilsted Kristensen and Michael Kirkedal Thomsen},
  year = {2023},
  url = {https://arxiv.org/abs/2309.04696},
  note = {Source identifier: 2309.04696}
}