Library for datatype-generic programming in Agda
unstable
El paquete no contiene descripción detallada
1.0.1
agdaPackages
Sí
No
Free
45
