3 ms·
You need refinement types. Psuedocode: timespandays : int, timespandays > 0 your program can then be proven by the compiler not to NaN.
by quickthrower2 3y ago
You need refinement types. Psuedocode:
timespandays : int, timespandays > 0
your program can then be proven by the compiler not to NaN.