4 ms·The runtime values don't matter to type theory, only the types of expressions.by Tainnor 3y agoThe runtime values don't matter to type theory, only the types of expressions.