@misc{mihejevs-2025-canonical,
  author = {Zanzi Mihejevs and Jules Hedges},
  title = {Canonical bidirectional typechecking},
  year = {2025},
  month = {12},
  eprint = {2512.07511},
  archiveprefix = {arXiv}
}