npm.io

Theorems-for-free Packages

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

agdaparametricityderivingtheorems-for-free
0.0.3 • Published 10 years ago

contact@npm.io