contravariant.md [reversing roles of A and B in commentary to match the code]#2154

Merged

LukaJCB merged 1 commit intotypelevel:masterfrom phderome:master

Feb 12, 2018

+1-1

Commits on Jan 14, 2018

reversing roles of A and B in commentary to match the code that says that B is subtype of A.
phderome
committed