@Inproceedings{EPTCS323.16,
  author    = {Genovese, Fabrizio and Gryzlov, Alex and Herold, Jelle and Knispel, Andre and Perone, Marco and Post, Erik and Videla, Andr\'e},
  year      = {2020},
  title     = {idris-ct: A Library to do Category Theory in Idris},
  editor    = {Baez, John and Coecke, Bob},
  booktitle = {{\rm Proceedings}
               Applied Category Theory 2019,
               {\rm University of Oxford, UK, 15-19 July 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {323},
  publisher = {Open Publishing Association},
  pages     = {246-254},
  doi       = {10.4204/EPTCS.323.16},
}