Library for datatype-generic programming in Agda.

To learn more about the structure of the library, see README.agda.

Related work:

• Effectfully's Generic library
• McBride and Dagand's work on universes of datatype descriptions.
• Yorick Sijsling's master thesis about generic programming and ornaments.
• Larry Diehl's generic-elim library

Reading list:

• Descriptions, Computational vs Propositional
• Deriving Eliminators of Described Datatypes