DEV Community

Discussion on: Getting started with fp-ts: Ord

Collapse
 
gcanti profile image
Giulio Canti

It's not a typo, please note that Reflexivity + Antisymmetry imply compare(x, x) === 0, for all x in A. However I'll restate the Reflexivity property to make it clearer, thanks for pointing out