Skip to content

Release 4.1.2.0#120

Merged
cdepillabout merged 4 commits intomasterfrom
release-4.1.2.0
Oct 15, 2022
Merged

Release 4.1.2.0#120
cdepillabout merged 4 commits intomasterfrom
release-4.1.2.0

Conversation

@cdepillabout
Copy link
Copy Markdown
Owner

No description provided.

Comment on lines +42 to +43
There's a [web app](https://cdepillabout.github.io/pretty-simple) compiled with
GHCJS where you can play around with `pretty-simple` running in your browser.
Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@georgefst I added this to the README, but please feel free to send a follow up PR or something if you think there is a better way to show it off. I think it is really neat, and I bet potential users might really want to play with it.

It is also a useful tool in its own right, similar to the pretty-simple CLI tool.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cool, yeah I've been meaning to do this, as well as adding a link back to Hackage/GitHub from the web app.

@cdepillabout cdepillabout merged commit d8ef1b3 into master Oct 15, 2022
@cdepillabout cdepillabout deleted the release-4.1.2.0 branch October 15, 2022 22:16
@cdepillabout
Copy link
Copy Markdown
Owner Author

Comment on lines +42 to +43
There's a [web app](https://cdepillabout.github.io/pretty-simple) compiled with
GHCJS where you can play around with `pretty-simple` running in your browser.
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cool, yeah I've been meaning to do this, as well as adding a link back to Hackage/GitHub from the web app.

pull_request:
push:
branches:
- master
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Whoops. thanks, these should obviously have been uncommented before that PR was merged.

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No problem! All good now :-)

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