4 ms·Yes you are right. And I do agree with the author regarding Dependently Typed languages.by mbrodersen 5y agoYes you are right. And I do agree with the author regarding Dependently Typed languages.