chalk
★ 0
updated 5y ago
⑂ fork
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.