rust-lang / chalk

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

Related projects

Alternatives and complementary repositories for chalk