/chalk

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

Primary LanguageRustOtherNOASSERTION

Stargazers

No one’s star this repository yet.