%0 Computer Program
%A Escot, Lucas
%A Cockx, Jesper
%D 2023
%T Generics library for datatype-generic programming in Agda
%U https://data.4tu.nl/articles/software/Generics_library_for_datatype-generic_programming_in_Agda/19960826
%R 10.4121/19960826.v1
%K Agda
%K Type Theory
%K Generic Programming
%K Dependent Types
%K Metaprogramming
%X <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>
%I 4TU.ResearchData