Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
5
Program languages
0
Licenses
1
1-1 of 1
Logo for Generics library for datatype-generic programming in Agda

Generics library for datatype-generic programming in Agda

Generics library for datatype-generic programming in Agda

  • Agda
  • Dependent Types
  • Generic Programming
  • + 2
    2
    1