/chalk

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

Primary LanguageRustOtherNOASSERTION

Watchers

No one’s watching this repository yet.