npm.io

Parametricity Packages

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

agdaparametricityderivingtheorems-for-free
0.0.3 • Published 10 years ago

contact@npm.io