I may be misunderstanding this, but it seems like there is a mistake on the firs...

		vngzs on Sept 9, 2022 \| parent \| context \| favorite \| on: Python type hints are Turing complete I may be misunderstanding this, but it seems like there is a mistake on the first page: > For example, every string is an object, `str <: object`, but not every object is a string, `str ≮: object`. Is not `str <: object ∧ str ≮: object` a contradiction? Wouldn't `object ≮: string` be the correct representation of "not every object is a string"?

Yes, this is an obvious mistake. What you wrote is the right statement.