rust-lang/chalk

rust-lang/chalk

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

https://rust-lang.github.io/chalk/book/

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

Michael-F-Bryan

Mark-Simulacrum

DustinByfuglien