Data Types with Negation (opens in new tab)

(bentnib.org)

8 pointsisaac212593y ago1 comments

1 comments

Semantic subtyping uses negation.

It's an analogous to if else.

j / k navigate · click thread line to collapse

(bentnib.org)

8 pointsisaac212593y ago1 comments

Semantic subtyping uses negation.

It's an analogous to if else.

j / k navigate · click thread line to collapse