first version of rust post
[web.git] / personal / _drafts / formalizing-rust.md
2015-10-11 Ralf Jungfirst version of rust post