4 ms·

Isn’t this language specific? For instance in C doesn’t true map to 1, thus true+1=2

• Tainnor 3y ago
  The runtime values don't matter to type theory, only the types of expressions.