Typechecking Is Undecidable When 'Type' Is a Type

3 points | by zem a day ago