Typechecking Is Undecidable When 'Type' Is a Type (via zem) — discussion

#plt