Skip to content
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.

Sign up for GitHub

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

Jump to bottom

update profunctor paper link #110

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

update profunctor paper link #110

wants to merge 1 commit into from

Conversation

BebeSparkelSparkel
Copy link

@RyanGlScott
Copy link
Collaborator

I'm confused. As far as I can tell, the original blog website is still active. What is the reason for preferring a PDF hosted on GitHub, as opposed to the original blog?

@BebeSparkelSparkel
Copy link
Author

The blog isn't generated from a version controlled source that can be improved with pull requests.

@RyanGlScott
Copy link
Collaborator

OK. Is the version on the blog post meaningfully different from the version on the blog post? I'm not necessarily opposed to the idea of switching to a different link, but I'd like to have sufficient motivation to do so. At the moment, the two sources don't appear to have any material differences (aside from one being in PDF format).

@BebeSparkelSparkel
Copy link
Author

I'm planning on submitting some PRs, and any other changes in the future will be in the pdf.

@RyanGlScott
Copy link
Collaborator

OK. Please update when the GitHub version of the post has been updated. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@BebeSparkelSparkel @RyanGlScott