@misc{indiciae7ebac8a537a2,
  title = {ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration},
  author = {Shuai Fu and Tim Dwyer and Peter J. Stuckey and Jackson Wain and Jesse Linossier},
  year = {2023},
  url = {https://arxiv.org/abs/2303.09791},
  note = {Source identifier: 2303.09791}
}