Generics library for datatype-generic programming in Agda

This archive contains the source code for the Generics Agda library for safe, typed datatype-generic programming.

This archive is intended for use as an artifact in a journal submission.

To follow the latest development of the Generics library, please go to the Github repository.