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)
commit9797304728e6d0e798db02eb0a8296ff1423826f
tree09cd1e9f40077488668390db6447470187abab66
parentaf534f9a2ed86603fb6dd245e61d4bbbc4736bd8
fix subtyping typo
personal/_posts/2018-01-31-sharing-for-a-lifetime.md