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)
commit7eb29c4567e824e5adb375056b80bea94fd5fd9b
tree92300df980db245a050a4117357cd05ea69c3595
parent559b3d1c618762d666a47983306a035e7ccf1c52
use borrowing terminology in invariants; typos
ralf/_posts/2018-01-31-sharing-for-a-lifetime.md