Search results

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"

• agda
• parametricity
• deriving
• theorems-for-free

np

published 0.0.3 • 9 years agopublished 0.0.3 9 years ago