add link to reddit (and a tweak)
[web.git] / ralf / _posts / 2018-01-31-sharing-for-a-lifetime.md
2019-05-14 Ralf Jungconsistently separate footnotes from text
2018-08-07 Ralf Jungfix rustdoc links to point to stable docs
2018-07-25 Ralf Jungblog: Assume we will never have a non-empty baseurl
2018-02-04 Ralf Jungfix subtyping typo
2018-01-31 Ralf Junguse borrowing terminology in invariants; typos
2018-01-31 Ralf Junglink to forum
2018-01-31 Ralf JungNew post: Sharing for a lifetime