New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove mention of IO #192

Merged
merged 3 commits into from Jul 17, 2018

Conversation

Projects
None yet
3 participants
@CarstenKoenig
Contributor

CarstenKoenig commented Jul 13, 2018

as discussed here #189 (comment)

there is now almost no difference between IO and Effect so it's not worth mentioning in this document

CarstenKoenig added some commits Jul 13, 2018

Remove mention of IO
as discussed here #189 (comment)
added myself to the contributors
thanks for having me - even if all I did was delete
@hdgarrood

Thanks!

@CarstenKoenig

This comment has been minimized.

Show comment
Hide comment
@CarstenKoenig

CarstenKoenig Jul 13, 2018

Contributor

wait one moment - there is a mention of Eff there - I'll replace it in a minute

Contributor

CarstenKoenig commented Jul 13, 2018

wait one moment - there is a mention of Eff there - I'll replace it in a minute

@CarstenKoenig

This comment has been minimized.

Show comment
Hide comment
@CarstenKoenig

CarstenKoenig Jul 13, 2018

Contributor

ok - I hope that's all

Contributor

CarstenKoenig commented Jul 13, 2018

ok - I hope that's all

@kRITZCREEK

This comment has been minimized.

Show comment
Hide comment
@kRITZCREEK

kRITZCREEK Jul 17, 2018

Member

Looking good, thanks!

Member

kRITZCREEK commented Jul 17, 2018

Looking good, thanks!

@kRITZCREEK kRITZCREEK merged commit 8c3b964 into purescript:master Jul 17, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment