agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
Deriving parametricity results in Agda: "theorems for free"
npm install agda-parametricity@0.0.3
Deriving parametricity results in Agda: "theorems for free"