Other
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Latest commits.
Builders behind this project.
