TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Home
Data Types with Negation
8 points
by
isaac21259
over 2 years ago
1 comment
aatd86
over 2 years ago
Semantic subtyping uses negation.<p>It's an analogous to if else.