nikomatsakis/rust-redex — pull request #15 by anasazi (2014-06-10 18:18:32+00:00)
Title: Type well-formedness.

Checking structs still needs a bit of work.