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: Oct 12 2024 at 20:18 UTC