safe intrusive collections with pinning: first draft
[web.git] / personal / _drafts / safe-intrusive-collections-with-pinning.md
2018-04-09 Ralf Jungsafe intrusive collections with pinning: first draft