Typing Rules

面對一大堆 typing rules，我目前歸納出來的情況是：厭煩不想看的程度和「個別 typing rule 的大小」、「typing rules 總數」、以及「符號多寡」三個變數呈指數成長關係…

--
希望強迫多讀一點可以把那關係降為多項式 XD。