You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
To ensure that Meanings and Universes satisfy extensionality 🧐, and do not end up being not equal based on order of elements, let them be frozensets, not tuples. Then, let _dist be a frozenset of (tuples) pairs of (Referent, probability).
The text was updated successfully, but these errors were encountered:
I am wondering if this issue was resolved by #43 as it changed the type of both Meaning._dist and Meaning.dist to FrozenDict[Referent, float], which ends up (I believe, at least) satisfying extensionality since comparing dictionaries does not take into account order. If this is the case then this issue and #31 could both be closed.
To ensure that Meanings and Universes satisfy extensionality 🧐, and do not end up being not equal based on order of elements, let them be frozensets, not tuples. Then, let _dist be a frozenset of (tuples) pairs of (Referent, probability).
The text was updated successfully, but these errors were encountered: