agda-parametricityDeriving parametricity results in Agda: "theorems for free"4 keywords3 dependents2 versionsagdaparametricityderivingtheorems-for-free@everything-registry/sub-chunk-1105@zalastax/nolb-agdagda-nplib0.0.310 years ago0.0.110 years ago