npm.io

Parametricity Packages

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

agda parametricity deriving theorems-for-free

0.0.3 • Published 10 years ago

contact@npm.io