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
as we forbid mixed Lam and LamStar choices, our Fun types actually have a homogeneous list. Things would be tidyer if instead we had a Fun and PFun type with homogeneous wilst.
The text was updated successfully, but these errors were encountered:
as we forbid mixed
Lam
andLamStar
choices, ourFun
types actually have a homogeneous list. Things would be tidyer if instead we had aFun
andPFun
type with homogeneous wilst.The text was updated successfully, but these errors were encountered: