top | item 34405718

Data Types with Negation

8 points| isaac21259 | 3 years ago |bentnib.org

1 comment

order

aatd86|3 years ago

Semantic subtyping uses negation.

It's an analogous to if else.