Deriving parametricity results in Agda: "theorems for free"
published 0.0.3 9 years agoShallow embedding of Protocols using Agda dependent types
published 0.0.3 9 years ago
Deriving parametricity results in Agda: "theorems for free"
Shallow embedding of Protocols using Agda dependent types