3 ms·

ooo, wheres this vector model?

• kibwen 13y ago
  This is the only one that I know of, not sure if it's the one pcwalton was referring to: https://github.com/nikomatsakis/rust-redex https://github.com/nikomatsakis/rust-redex
  • bjz_ 13y ago
    Awesome! Will have to delve into this later... a formal proof is going to be super important for Rust.
  • dbaupp 13y ago
    https://github.com/anasazi/rust-redex https://github.com/anasazi/rust-redex is more recent and is actively being worked on (by ecr on IRC).