4 ms·After that, it really gets going with Girard's System F and Martin Loef type thoery.by Ericson2314 5y agoAfter that, it really gets going with Girard's System F and Martin Loef type thoery.