Mercurial > repo
annotate wisdom/substructural typing @ 6172:c7909d4ce118
<oerjan> le/rn algebraic number theory/Algebraic number theory was invented by Fermat to prove his theorem, but he didn\'t have room to write it down.
author | HackBot |
---|---|
date | Mon, 02 Nov 2015 13:38:18 +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. |