fix subtyping typo
authorRalf Jung <post@ralfj.de>
Sun, 4 Feb 2018 09:22:03 +0000 (10:22 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 4 Feb 2018 09:22:03 +0000 (10:22 +0100)
commitcc9c75122fee0c7b42b400059937d60cb16ac5e6
tree7a7d372c9560a33b402dafad72e0e6716046519a
parent64dcf9f392cce5eb9970a1808cbc4cdd547ef3b1
fix subtyping typo
personal/_posts/2018-01-31-sharing-for-a-lifetime.md