Theorems-for-free Packages

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

agda parametricity deriving theorems-for-free

0.0.3 • Published 10 years ago