rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver
1,846Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for chalk