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)
commit487cb74fdea626a7147fec463b5741906d3f353c
tree43da6d9115b8d714ba14519f691860be2f535dc7
parent6efd4f0f854661f076eea4cf71207d7d4e72d1cc
explicit ownership: points_to_owned
personal/_posts/2018-04-05-a-formal-look-at-pinning.md