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
I think here we should have coercions first, then we can try something. This will also require a strict separation between terms and types, and I am a bit worried about it: how do we avoid having separate syntax for terms and for types?
Some way to remove
Type : Type
should be available.The text was updated successfully, but these errors were encountered: