Generics

Library for datatype-generic programming in Agda

Project website

The package has no detailed description

unstable

channel

1.0.1

version

agdaPackages

set

Yes

supported

No

broken

Free

license

46

platforms

Other applications from the agdaPackages set