TY - DATA
T1 - Generics library for datatype-generic programming in Agda
PY - 2023/05/25
AU - Lucas Escot
AU - Jesper Cockx
UR - https://data.4tu.nl/articles/software/Generics_library_for_datatype-generic_programming_in_Agda/19960826
DO - 10.4121/19960826.v1
KW - Agda
KW - Type Theory
KW - Generic Programming
KW - Dependent Types
KW - Metaprogramming
N2 - <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>
ER -