HN Explorer

1 comment

[ 5.5 ms ] story [ 12.7 ms ] thread
aatd86
Semantic subtyping uses negation.

It's an analogous to if else.