Join Slack
Powered by
It’s just using the fact that a type ->->* c...
# getting-started
c
cedric
10/16/2015, 6:41 PM
It’s just using the fact that a type
->
->* can be translated as [A,B] by partially applying a type constructor
2
Views
Open in Slack
Previous
Next