@misc{indiciaec59b3e96ab9b,
  title = {Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets},
  author = {Shuai Fu and Tim Dwyer and Peter J. Stuckey and John Grundy},
  year = {2024},
  url = {https://arxiv.org/abs/2405.12697},
  note = {Source identifier: 2405.12697}
}