/chalk

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

Primary LanguageRustOtherNOASSERTION

No issues in this repository yet.