annotate wisdom/structural subtyping @ 3981:866c7045ad18

<shachaf> addquote <zzo38> I do sometimes work on Linux computer. I think it is set to en.UTF-8 by default although on my account I have changed it to the C locale, disabled Unicode translation, and loaded a CP437 font. <zzo38> This improves the operation of the system.
author HackBot
date Mon, 04 Nov 2013 05:13:31 +0000
parents 70ea08a1d2cf
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1735
70ea08a1d2cf <shachaf> >wisdom/\'structural subtyping\' echo Not to be confused with substructural typing.
HackBot
parents:
diff changeset
1 Not to be confused with substructural typing.