4 ms·It doesn't contain a proof for the type system either.by lindig 9y agoIt doesn't contain a proof for the type system either.