An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Primary LanguageRustOtherNOASSERTION
No one’s star this repository yet.