@misc{indiciae52dd9e23a53a,
  title = {Certified HLints with Isabelle/HOLCF-Prelude},
  author = {Joachim Breitner and Brian Huffman and Neil Mitchell and Christian Sternagel},
  year = {2013},
  url = {https://arxiv.org/abs/1306.1340},
  note = {Source identifier: 1306.1340}
}