only show a post excerpt in the blog index
[web.git] / ralf / _drafts / formalizing-rust.md
2015-10-11 Ralf Jungfirst version of rust post