Rare find

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

github.com/rust-lang/chalk

Problem

Audience

Updates

No founder updates yet. Check back soon.