Join Slack
Powered by
So that means, everything should eventually termin...
# arrow
d
Derek Berner
06/04/2019, 3:12 PM
So that means,
everything
should eventually terminate in IO, even if it's not effectful, so that we can guarantee runtime error safety?
2
Views
Open in Slack
Previous
Next