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
It sounds like @pcwalton is planning on removing kinds soon in favor of special traits, so this bug may be obsolete. At any rate, we'll still need to make sure the docs are accurate.
The treatment of kinds in the tutorial is out of date. It does not mention the const kind, and the subkinding relationship has changed too.
The text was updated successfully, but these errors were encountered: