俺はtype theoryの話はしていないね
型論理を型理論と読み違えて訂正しないからツッコミを入れたら
type theoryは昭和時代の知識だと言い出して頭の悪さに大爆笑