Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Preserves: An Expressive Data Language. Parent comment
> Equivalence. Two Values are equal if neither is less than the other according to the total order.
Directly below the total order of what you call "kinds". That confused me.
> Equivalence. Two Values are equal if neither is less than the other according to the total order.
Directly below the total order of what you call "kinds". That confused me.