@misc{yorgey2023disco,
  title={Disco: A Functional Programming Language for Discrete Mathematics},
  author={Brent A. Yorgey},
  year={2023},
  eprint={2308.06971},
  archivePrefix={arXiv},
  primaryClass={cs.PL},
  doi={10.4204/EPTCS.382.4},
  url={https://arxiv.org/abs/2308.06971}
}