agda-parametricityDeriving parametricity results in Agda: "theorems for free"4 keywords3 dependents2 versionsagdaparametricityderivingtheorems-for-free@everything-registry/sub-chunk-1105agda-nplib@zalastax/nolb-agd0.0.39 years ago0.0.19 years ago