-
Notifications
You must be signed in to change notification settings - Fork 4
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
Update dependencies #6
Conversation
Thanks for the updates! I thunked |
I just wondered, it's not something I've thought deeply about! Before I was reminded of this library I'd implemented the same formulation but without the thunks. |
Ah, got it. Might be an idea to explore. I'd have to put more thought into it too! |
Could you make a release for these changes please? Unless performance becomes a problem I'm probably not going to give much thought to the implementation in the near future. 😄 |
Just made the release. Thanks! |
Will do! Sorry for the delay. On Monday, 24 October 2016, Gary Burgess notifications@github.com wrote:
|
You already did so yesterday, thanks! |
Indeed!
That was sent yesterday as an email reply. Odd how it only showed up today. Sorry for the confusion. |
Ah right 😄 probably down to the recent DNS/connectivity issues. |
For PureScript 0.10 compatibility.
Also, just out of interest, is there much benefit to
ApF
's values being thunked?