Stream: Beginner Questions

Topic: ✔ Additional type variable


view this post on Zulip Robert Soeldner (Aug 16 2021 at 18:54):

I'm seeing Additional type variable(s) in specification of "Cat⇩G⇩r": 'a, 'b which I cant follow\understand. Any way to get more information?

view this post on Zulip Notification Bot (Aug 16 2021 at 19:14):

Robert Soeldner has marked this topic as resolved.


Last updated: Aug 13 2022 at 06:26 UTC