veykril / chalk Goto Github PK
View Code? Open in Web Editor NEWThis project forked from rust-lang/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Home Page: https://rust-lang.github.io/chalk/book/
License: Other