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)
commit64dcf9f392cce5eb9970a1808cbc4cdd547ef3b1
tree138882b4a5b7de930f3a71077ab113c7f31c36e6
parent815e6ab35e8ad5b12c0bf12c83c01cdd0bcfb539
use borrowing terminology in invariants; typos
personal/_posts/2018-01-31-sharing-for-a-lifetime.md