Hacker News new | ask | show | jobs
by bmandale 135 days ago
All type checkers either permit incorrect programs, reject correct programs, or are turing complete.