Compiling Rust is NP-hard: the pattern match exhaustiveness checker as a SAT sol

(compilercrim.es)

2 points | by fanf2 5 hours ago ago

No comments yet.