I'm writing a little article about the type theory of Rust.

would anyone here be interested in proof-reading once I'm done?

seems like it should be the ideal location, but I know it's a little inactive here :P