@misc{https://doi.org/10.4121/19960826.v1,
  doi = {10.4121/19960826.v1},
  url = {https://data.4tu.nl/articles/software/Generics_library_for_datatype-generic_programming_in_Agda/19960826},
  author = {Escot, Lucas and Cockx, Jesper},
  keywords = {Agda, Type Theory, Generic Programming, Dependent Types, Metaprogramming},
  title = {Generics library for datatype-generic programming in Agda},
  publisher = {4TU.ResearchData},
  year = {2023},
  copyright = {MIT},
}