Open nikomatsakis opened 7 years ago
If we integrated this repo with chalk -- which would entail various changes, no doubt -- we'd be getting awfully close to a "simplified model of Rust".
If we integrated this repo with chalk -- which would entail various changes, no doubt -- we'd be getting awfully close to a "simplified model of Rust".