use borrowing terminology in invariants; typos
authorRalf Jung <post@ralfj.de>
Wed, 31 Jan 2018 16:29:23 +0000 (17:29 +0100)
committerRalf Jung <post@ralfj.de>
Wed, 31 Jan 2018 16:30:19 +0000 (17:30 +0100)
commitaf534f9a2ed86603fb6dd245e61d4bbbc4736bd8
treebca098a4a4d57dc1d66d4a27ef27d68aa4fb35d7
parentb7bd01889518d36d7d8eff0ee1f5182fc89a220a
use borrowing terminology in invariants; typos
personal/_posts/2018-01-31-sharing-for-a-lifetime.md