|
|
|
|
|
|
by VyseofArcadia
3505 days ago
|
|
|
> Ord a is a witness that type a is well-ordered, which is to say that for any two as, one is definitely less than or equal to another. What the author described here is a linear order, not a well ordering, despite linking to the correct Wikipedia page. |
|
|