some work on the Rust post
[web.git] / personal / _drafts /
drwxr-xr-x   ..
-rw-r--r-- 8557 formalizing-rust.md