view wisdom/structural subtyping @ 2186:a07be2c67eac

<elliott> echo "Categories are just a special case of bicategories." >wisdom/category
author HackBot
date Tue, 19 Feb 2013 21:47:27 +0000
parents 70ea08a1d2cf
children
line wrap: on
line source

Not to be confused with substructural typing.