agda-parametricityDeriving parametricity results in Agda: "theorems for free"agdaparametricityderivingtheorems-for-free0.0.3 • Published 9 years ago