2 Jan
2019
2 Jan
'19
4:47 a.m.
I am surprised to find that `False <= undefined = undefined`. What justifies (<=) to be strict in both arguments? Vilem