mem_own -> points_to
authorRalf Jung <post@ralfj.de>
Thu, 5 Apr 2018 15:36:17 +0000 (17:36 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 5 Apr 2018 15:36:17 +0000 (17:36 +0200)
commitd469ac5b4c5e04a4e05f62bd958f3268b9e4c19d
tree4b4515e046f747d40ba7c40a532cc8a4666833da
parentaa2a71da518a6d91c70e5d3c85c08e49b2041842
mem_own -> points_to
ralf/_posts/2017-07-17-types-as-contracts.md
ralf/_posts/2018-04-05-a-formal-look-at-pinning.md