pedagand/agda-datalib

Datatype-generic programming library in/for Agda

Agda