log wisdom/structural subtyping @ 12243:dd8898d59f7c draft

age author description
Thu, 24 Jan 2013 23:50:24 +0000 HackBot <shachaf> >wisdom/\'structural subtyping\' echo Not to be confused with substructural typing.