cff-version: 1.2.0
abstract: "<p>This archive contains the source code for the Generics Agda library for safe, typed datatype-generic programming.</p><p><br></p><p>This archive is intended for use as an artifact in a journal submission.</p><p><br></p><p>To follow the latest development of the Generics library, please go to the <a href="https://github.com/flupe/generics" target="_blank">Github repository</a>.</p>"
authors:
  - family-names: Escot
    given-names: Lucas
  - family-names: Cockx
    given-names: Jesper
title: "Generics library for datatype-generic programming in Agda"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/19960826.v1
license: MIT
date-released: 2023-05-25