peter-divianszky

Given the following code ``` data Polarity : Type where Value : Polarity Computation : Polarity -- object types data Ty : Polarity -> Type where Int' : Ty Value...