3 ms·(Note that this is also very old.)by dbaupp 13y ago(Note that this is also very old.)felixr 13y agoIt seems as if formal models of Rust have a tendency to rust.dbaupp 13y agoHaha, anything not in the source tree of Rust (or Servo) tends to rust... things change quickly.