Comment Comment by pjdorrell In Pythontype(type) is typeevaluates to True. And that is not permitted in mathematical type theory that the Curry-Howard correspondence applies to. parent pjdorrell 6 years ago
type(type) is type
evaluates to True. And that is not permitted in mathematical type theory that the Curry-Howard correspondence applies to.