agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

v0.0.3 URL: https://unpkg.com/agda-parametricity@0.0.3/agda-parametricity.agda

Open Browse Files

agda parametricity deriving theorems-for-free