@Inproceedings{EPTCS382.4,
  author    = {Yorgey, Brent A.},
  year      = {2023},
  title     = {Disco: A Functional Programming Language for Discrete Mathematics},
  editor    = {Machkasova, Elena},
  booktitle = {{\rm Proceedings Twelfth International Workshop on}
               Trends in Functional Programming in Education,
               {\rm Boston, Massachusetts, USA, 12th January 2023}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {382},
  publisher = {Open Publishing Association},
  pages     = {64-81},
  doi       = {10.4204/EPTCS.382.4},
}