Join Slack
Powered by
which I think is the lack of `forall .` in the lan...
# arrow
j
jacob
03/13/2019, 10:36 PM
which I think is the lack of
forall .
in the language, right? it doesn't bind A on invocation, but on construction, or something?
2
Views
Open in Slack
Previous
Next