News for hackers. Stuff that matters.

A comment on Announcing the new Rust package manager, Cargo. Parent comment

Re:Announcing the new Rust package manager, Cargo by pcwalton on Monday March 17, 2014 @11:47PM (#7419969)
We do know what those two things will look like. The design is fairly ironed out at the moment, just not fully implemented. For vectors (dynamically-sized types), there's even a PLT Redex model to verify that the design holds together…
[ Parent | on HN ]
Re:Announcing the new Rust package manager, Cargo by carterschonwald on Tuesday March 18, 2014 @12:53AM (#7420256)
ooo, wheres this vector model?
[ Parent | on HN ]
Re:Announcing the new Rust package manager, Cargo by kibwen on Tuesday March 18, 2014 @01:08AM (#7420296)
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

[ Parent | on HN ]
Re:Announcing the new Rust package manager, Cargo by dbaupp on Tuesday March 18, 2014 @01:32AM (#7420365)
https://github.com/anasazi/rust-redex is more recent and is actively being worked on (by ecr on IRC).
[ Parent | on HN ]
Re:Announcing the new Rust package manager, Cargo by bjz_ on Tuesday March 18, 2014 @01:29AM (#7420360)
Awesome! Will have to delve into this later... a formal proof is going to be super important for Rust.
[ Parent | on HN ]