> Clearly it’s equivalent to Choice’s use of a boolean tag. Isn’t it remarkable that algebraic manipulations agree with our intuition?
no, thats not interestimg at all. It is literally just encoding left/right in a bool.
that page seems to be doing "calculus" not on the sets but the sizes of the sets. entirely uninteresting and boring.
Haskel: making the easy stuff hard.
> Clearly it’s equivalent to Choice’s use of a boolean tag. Isn’t it remarkable that algebraic manipulations agree with our intuition?
no, thats not interestimg at all. It is literally just encoding left/right in a bool.
that page seems to be doing "calculus" not on the sets but the sizes of the sets. entirely uninteresting and boring.
Haskel: making the easy stuff hard.