agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
agda-parametricity
0.0.3 • Public • PublishedPackage Sidebar
Install
npm i agda-parametricity
Repository
Homepage
Weekly Downloads
1
Version
0.0.3
License
BSD3
Deriving parametricity results in Agda: "theorems for free"
npm i agda-parametricity
1
0.0.3
BSD3