Skip to content

Conversation

@ursi
Copy link
Contributor

@ursi ursi commented Dec 26, 2025

No description provided.

@garyb
Copy link
Member

garyb commented Dec 27, 2025

Thanks! That's a very old piece of text if it was written when we still had that syntax 😄

@garyb garyb merged commit 90c817f into purescript:master Dec 27, 2025
1 check passed
@ursi
Copy link
Contributor Author

ursi commented Dec 28, 2025

oh, I had no idea PureScript ever had this syntax. Now I'm curious why it was changed.

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.

2 participants