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
SSIV and immutables and other things aren't really lattices, the code that generates them can't be replicated. It's kind of like forming a quotient lattice out of a family of possible quotient lattices or something. Let's get this right in the type system.
The text was updated successfully, but these errors were encountered: