Data Types with Negation
bentnib.org
Data Types with Negation
1–2 of 2 posts
Re: Data Types with Negation
#2Semantic subtyping uses negation.
It's an analogous to if else.
1–2 of 2 posts
Data Types with Negation
bentnib.org
It's an analogous to if else.