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