some work on the Rust post
authorRalf Jung <post@ralfj.de>
Sun, 11 Oct 2015 21:15:16 +0000 (23:15 +0200)
committerRalf Jung <post@ralfj.de>
Sun, 11 Oct 2015 21:15:16 +0000 (23:15 +0200)
commit850c6e257a21a8b0c6609168c6d2928ec4c02398
treeef1850f8ed55272b098b49b158f7351e619decbe
parentc0bcd3210ce8d7ce8371df9f277a570897186ccd
some work on the Rust post
ralf/_drafts/formalizing-rust.md