On Typing


Comments