Mercurial > repo
annotate wisdom/substructural typing @ 5522:dd4e207b0011
<mushroom> ` sed -i \'s/wisdom entry/file/\' wisdom/culprit
author | HackBot |
---|---|
date | Fri, 12 Jun 2015 00:43:12 +0000 |
parents | c75f9294c99f |
children |
rev | line source |
---|---|
1736
c75f9294c99f
<shachaf> >wisdom/\'substructural typing\' echo Not to be confused with structural subtyping.
HackBot
parents:
diff
changeset
|
1 Not to be confused with structural subtyping. |