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

Incorporate Cleanup #7

Merged
merged 7 commits into from Nov 22, 2022
Merged

Incorporate Cleanup #7

merged 7 commits into from Nov 22, 2022

Conversation

parsonsmatt
Copy link
Owner

Before submitting your PR, check that you've:

After submitting your PR:

  • Update the Changelog.md file with a link to your PR.
  • Check that CI passes (or if it fails, for reasons unrelated to your change, like CI timeouts).

treeowl and others added 7 commits April 22, 2021 13:31
@treeowl
Some cleaning
32ea9c1 
* Avoid double-reverse to remove quotes.
* Reorder `TypeRep` patterns to catch the `Fun` case (alternatively,
  we could just remove that case).
* Remove "look before you leap" style.
@treeowl
Implement change requests
a162ea0
@parsonsmatt
Merge pull request #3 from treeowl/cleanup
190923f 
Some cleaning
@parsonsmatt
ok
b7ae110
@parsonsmatt
ok
3a707a6
@parsonsmatt
cleanup cabal file a touch
a99bded
@parsonsmatt
changelog
5cebca2
@parsonsmatt parsonsmatt merged commit e7d0b41 into master Nov 22, 2022
@parsonsmatt parsonsmatt deleted the mattp/incorporate-cleanup branch November 22, 2022 21:52
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.

None yet
2 participants
@parsonsmatt @treeowl