fix page.url stripping off .html suffix
[web.git] / personal / _posts / 2015-10-12-formalizing-rust.md
2016-01-02 Ralf Jungtune the new blog post; use longer dashes
2016-01-02 Ralf Jungposts: add link to reddit page, if it exists
2015-10-13 Ralf JungRust post: be more explicit about the scope
2015-10-13 Ralf JungRust post: tune wording
2015-10-12 Ralf Jungmore Rust post tuning
2015-10-12 Ralf JungRust post tuning
2015-10-12 Ralf JungRust post: tuning, spell checking, publication