@misc{indiciae241d92ea3e4b,
  title = {Ill-Typed Programs Don't Evaluate},
  author = {Steven Ramsay and Charlie Walpole},
  year = {2023},
  url = {https://arxiv.org/abs/2307.06928},
  note = {Source identifier: 2307.06928}
}