@inproceedings{2020-hazel-tutor-hatra,
  title = {Hazel Tutor: Guiding Novices Through Type-Driven Development},
  author = {Hannah Potter and Cyrus Omar},
  booktitle = {Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2020)},
  year = {2020}
}