C composition.al Why does a Turing-complete type system make type checking undecidable? 69 points luu 9 years ago 22 comments
