[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Marko Rauhamaa <marko at pacujo.net>: > 1. if x is y then y ix x > 2. if x is y and y is z then x is z > 3. after x = y, x is y > 4. if x is y, then x == y A new attempt: 0. x is x 1. if x is y then y ix x 2. if x is y and y is z then x is z 3. after x = y, x is y 4. if x is y and x == x, then x == y 5. id(x) == id(y) iff x is y Does that cover it? Marko

- Prev by Date:
**decimal numbers** - Next by Date:
**Explanation of list reference** - Previous by thread:
**Explanation of list reference** - Next by thread:
**Explanation of list reference** - Index(es):