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
biboudis
changed the title
Dependent Function Types example from docs doesn't compile
Dependent fun types example from docs doesn't compile
Jan 25, 2019
biboudis
changed the title
Dependent fun types example from docs doesn't compile
Dependent FTs example from docs doesn't compile
Jan 25, 2019
The following example taken from docs failed to type check:
with error:
The text was updated successfully, but these errors were encountered: