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)
commit07c834b801b0c9c14d33bd58e4e51c327c076439
treefe023071258317902c5c97aef673b5c3ef8018e6
parente9e07976725416dbb4e0fd96ce4bc9f84942768c
some work on the Rust post
personal/_drafts/formalizing-rust.md