chalk
Rust
★ 2.0k
updated 4mo ago
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
No plain-English explanation yet — one is being written right now. Check back in a minute.