Hacker News new | ask | show | jobs
by gpm 979 days ago
Rust analzyer type checks rust and type checking is turing complete... it's only a matter of time.