Yes, but all practical programming languages have that problem anyway, in practi...

		lmm 33 days ago \| parent \| context \| favorite \| on: Typechecking is undecidable when 'type' is a type ... Yes, but all practical programming languages have that problem anyway, in practice if not in theory.