HN Explorer

1 comment

[ 3.2 ms ] story [ 10.1 ms ] thread
aatd86
Semantic subtyping uses negation.

It's an analogous to if else.