Idk really why I thought of this
But apart from being technically different data types, is there anything that one can do that the other cannot
Like all our type indicators, really, the (internal) shape of a ring is a reminder to the user of what's expected in the slot. If it's a predicate ring, what's expected is a function that reports True or False.
This topic was automatically closed 30 days after the last reply. New replies are no longer allowed.