agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
Latest release 0.0.3 - Updated - 1 stars