📦 rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

chalk / chalk-ir
📂 master
📁 ..
📁 src
📄 Cargo.toml
📄 README.md