« Back
Compiling Rust is NP-hard: the pattern match exhaustiveness checker as a SAT sol
compilercrim.es
Submitted by fanf2 3 days ago