Post #872129

@jesper @anuytstt I'm lost at this sentence in the introduction: > For example the parametricity of a function f : A → B is a proof that f maps related inputs in A to related outputs in B, i.e. f is a morphism of reflexive graphs. Which relations on A and B are we talking about?