view wisdom/substructural typing @ 2410:ee80f43f37ff

<Taneb> addquote <boily> it\'s raining in newcastle, therefore the elliotts are distinct. <tswett> boily\'s Newcastle Theorem.
author HackBot
date Fri, 08 Mar 2013 19:40:15 +0000
parents c75f9294c99f
children
line wrap: on
line source

Not to be confused with structural subtyping.