Mercurial > repo
annotate wisdom/universal property @ 6657:6412f71662f4
<fizzie> ` sed -i -e \'s|$0|"mk[x]"|\' bin/mk
author | HackBot |
---|---|
date | Tue, 09 Feb 2016 00:36:27 +0000 |
parents | 9e0a1a9052e9 |
children |
rev | line source |
---|---|
5482
9e0a1a9052e9
<shachaf> le/rn universal property/Universal properties are the best.
HackBot
parents:
diff
changeset
|
1 Universal properties are the best. |