explicit ownership: points_to_owned
authorRalf Jung <post@ralfj.de>
Thu, 5 Apr 2018 15:41:24 +0000 (17:41 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 5 Apr 2018 15:41:24 +0000 (17:41 +0200)
commitf1760068a46b81f96f44eb008601a4b8db9f2a6b
tree3b26ec8c7fd1da4c35b03a12f1d0943f52baa349
parentaae71f1c3b12f9b0b5cd97b7e51ef481ff91f1b6
explicit ownership: points_to_owned
personal/_posts/2018-04-05-a-formal-look-at-pinning.md