Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@adamgfraser
Copy link
Contributor

No description provided.

@neko-kai neko-kai closed this May 19, 2021
@neko-kai neko-kai reopened this May 19, 2021
@neko-kai
Copy link
Member

^ disregard that, misclicked while reading notification

@notxcain
Copy link
Contributor

What are the use cases for that?

@adamgfraser
Copy link
Contributor Author

@notxcain putStrLn("Hello, World!")!

@adamgfraser adamgfraser requested a review from jdegoes May 19, 2021 20:25
@jdegoes jdegoes merged commit 2c3aa47 into zio:master May 19, 2021
@adamgfraser adamgfraser deleted the ordie branch May 20, 2021 19:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants